René's URL Explorer Experiment


Title: prolog-implementation · GitHub Topics · GitHub

Open Graph Title: Build software better, together

X Title: GitHub

Description: GitHub is where people build software. More than 150 million people use GitHub to discover, fork, and contribute to over 420 million projects.

Open Graph Description: GitHub is where people build software. More than 150 million people use GitHub to discover, fork, and contribute to over 420 million projects.

X Description: GitHub is where people build software. More than 150 million people use GitHub to discover, fork, and contribute to over 420 million projects.

Opengraph URL: https://github.com

X: github

direct link

Domain: patch-diff.githubusercontent.com

route-pattern/topics/:topic_name(.:format)
route-controllertopics
route-actionshow
fetch-noncev2:5824c570-c6d9-5a22-f0ce-afcceaba4104
current-catalog-service-hash82c569b93da5c18ed649ebd4c2c79437db4611a6a1373e805a3cb001c64130b7
request-idE3AC:EBD3A:108166:154107:698D08FF
html-safe-noncec975a517bb3cf5ebeba7929f1e36a4f263b4212f778a95b7a738bf777a8db382
visitor-payloadeyJyZWZlcnJlciI6IiIsInJlcXVlc3RfaWQiOiJFM0FDOkVCRDNBOjEwODE2NjoxNTQxMDc6Njk4RDA4RkYiLCJ2aXNpdG9yX2lkIjoiNTE2MjA1Mjg5NjI2MzMwOTU2NyIsInJlZ2lvbl9lZGdlIjoiaWFkIiwicmVnaW9uX3JlbmRlciI6ImlhZCJ9
visitor-hmac55248a9561927fbbe38a6493cc329abc3b65e34396b0c9bd2ddb49045e5fd5c3
github-keyboard-shortcutscopilot
google-site-verificationApib7-x98H0j5cPqHWwSMm6dNU4GmODRoqxLiDzdx9I
octolytics-urlhttps://collector.github.com/github/collect
fb:app_id1401488693436528
apple-itunes-appapp-id=1477376905, app-argument=https://github.com/topics/prolog-implementation
og:site_nameGitHub
og:imagehttps://github.githubassets.com/assets/github-octocat-13c86b8b336d.png
og:image:typeimage/png
og:image:width1200
og:image:height620
twitter:site:id13334762
twitter:creatorgithub
twitter:creator:id13334762
twitter:cardsummary_large_image
twitter:imagehttps://github.githubassets.com/assets/github-logo-55c5b9a1fe52.png
twitter:image:width1200
twitter:image:height1200
hostnamegithub.com
expected-hostnamegithub.com
Nonef2da95634bce8a94cfa4123788169bfabdf845fd1d790fbaaaaab09dcfebdf28
turbo-cache-controlno-preview
turbo-body-classeslogged-out env-production page-responsive
disable-turbofalse
browser-stats-urlhttps://api.github.com/_private/browser/stats
browser-errors-urlhttps://api.github.com/_private/browser/errors
releasec21843b18feba17d11efb1895a7db61e8672f2cf
ui-targetfull
theme-color#1e2327
color-schemelight dark

Links:

Skip to contenthttps://patch-diff.githubusercontent.com/topics/prolog-implementation#start-of-content
https://patch-diff.githubusercontent.com/
Sign in https://patch-diff.githubusercontent.com/login?return_to=https%3A%2F%2Fgithub.com%2Ftopics%2Fprolog-implementation
GitHub CopilotWrite better code with AIhttps://github.com/features/copilot
GitHub SparkBuild and deploy intelligent appshttps://github.com/features/spark
GitHub ModelsManage and compare promptshttps://github.com/features/models
MCP RegistryNewIntegrate external toolshttps://github.com/mcp
ActionsAutomate any workflowhttps://github.com/features/actions
CodespacesInstant dev environmentshttps://github.com/features/codespaces
IssuesPlan and track workhttps://github.com/features/issues
Code ReviewManage code changeshttps://github.com/features/code-review
GitHub Advanced SecurityFind and fix vulnerabilitieshttps://github.com/security/advanced-security
Code securitySecure your code as you buildhttps://github.com/security/advanced-security/code-security
Secret protectionStop leaks before they starthttps://github.com/security/advanced-security/secret-protection
Why GitHubhttps://github.com/why-github
Documentationhttps://docs.github.com
Bloghttps://github.blog
Changeloghttps://github.blog/changelog
Marketplacehttps://github.com/marketplace
View all featureshttps://github.com/features
Enterpriseshttps://github.com/enterprise
Small and medium teamshttps://github.com/team
Startupshttps://github.com/enterprise/startups
Nonprofitshttps://github.com/solutions/industry/nonprofits
App Modernizationhttps://github.com/solutions/use-case/app-modernization
DevSecOpshttps://github.com/solutions/use-case/devsecops
DevOpshttps://github.com/solutions/use-case/devops
CI/CDhttps://github.com/solutions/use-case/ci-cd
View all use caseshttps://github.com/solutions/use-case
Healthcarehttps://github.com/solutions/industry/healthcare
Financial serviceshttps://github.com/solutions/industry/financial-services
Manufacturinghttps://github.com/solutions/industry/manufacturing
Governmenthttps://github.com/solutions/industry/government
View all industrieshttps://github.com/solutions/industry
View all solutionshttps://github.com/solutions
AIhttps://github.com/resources/articles?topic=ai
Software Developmenthttps://github.com/resources/articles?topic=software-development
DevOpshttps://github.com/resources/articles?topic=devops
Securityhttps://github.com/resources/articles?topic=security
View all topicshttps://github.com/resources/articles
Customer storieshttps://github.com/customer-stories
Events & webinarshttps://github.com/resources/events
Ebooks & reportshttps://github.com/resources/whitepapers
Business insightshttps://github.com/solutions/executive-insights
GitHub Skillshttps://skills.github.com
Documentationhttps://docs.github.com
Customer supporthttps://support.github.com
Community forumhttps://github.com/orgs/community/discussions
Trust centerhttps://github.com/trust-center
Partnershttps://github.com/partners
GitHub SponsorsFund open source developershttps://github.com/sponsors
Security Labhttps://securitylab.github.com
Maintainer Communityhttps://maintainers.github.com
Acceleratorhttps://github.com/accelerator
Archive Programhttps://archiveprogram.github.com
Topicshttps://github.com/topics
Trendinghttps://github.com/trending
Collectionshttps://github.com/collections
Enterprise platformAI-powered developer platformhttps://github.com/enterprise
GitHub Advanced SecurityEnterprise-grade security featureshttps://github.com/security/advanced-security
Copilot for BusinessEnterprise-grade AI featureshttps://github.com/features/copilot/copilot-business
Premium SupportEnterprise-grade 24/7 supporthttps://github.com/premium-support
Pricinghttps://github.com/pricing
Search syntax tipshttps://docs.github.com/search-github/github-code-search/understanding-github-code-search-syntax
documentationhttps://docs.github.com/search-github/github-code-search/understanding-github-code-search-syntax
Sign in https://patch-diff.githubusercontent.com/login?return_to=https%3A%2F%2Fgithub.com%2Ftopics%2Fprolog-implementation
Sign up https://patch-diff.githubusercontent.com/signup?ref_cta=Sign+up&ref_loc=header+logged+out&ref_page=%2Ftopics%2Fprolog-implementation&source=header
Reloadhttps://patch-diff.githubusercontent.com/topics/prolog-implementation
Reloadhttps://patch-diff.githubusercontent.com/topics/prolog-implementation
Reloadhttps://patch-diff.githubusercontent.com/topics/prolog-implementation
Explorehttps://patch-diff.githubusercontent.com/explore
Topicshttps://patch-diff.githubusercontent.com/topics
Trendinghttps://patch-diff.githubusercontent.com/trending
Collectionshttps://patch-diff.githubusercontent.com/collections
Eventshttps://patch-diff.githubusercontent.com/events
GitHub Sponsorshttps://patch-diff.githubusercontent.com/sponsors/explore
Star https://patch-diff.githubusercontent.com/login?return_to=%2Ftopic.prolog-implementation
All 69 https://github.com/topics/prolog-implementation
Prolog 34 https://github.com/topics/prolog-implementation?l=prolog
JavaScript 5 https://github.com/topics/prolog-implementation?l=javascript
Python 5 https://github.com/topics/prolog-implementation?l=python
C++ 4 https://github.com/topics/prolog-implementation?l=c%2B%2B
Rust 4 https://github.com/topics/prolog-implementation?l=rust
Haskell 3 https://github.com/topics/prolog-implementation?l=haskell
C 2 https://github.com/topics/prolog-implementation?l=c
Jupyter Notebook 2 https://github.com/topics/prolog-implementation?l=jupyter+notebook
OCaml 2 https://github.com/topics/prolog-implementation?l=ocaml
Clojure 1 https://github.com/topics/prolog-implementation?l=clojure
Most stars https://patch-diff.githubusercontent.com/topics/prolog-implementation?o=desc&s=stars
Fewest stars https://patch-diff.githubusercontent.com/topics/prolog-implementation?o=asc&s=stars
Most forks https://patch-diff.githubusercontent.com/topics/prolog-implementation?o=desc&s=forks
Fewest forks https://patch-diff.githubusercontent.com/topics/prolog-implementation?o=asc&s=forks
Recently updated https://patch-diff.githubusercontent.com/topics/prolog-implementation?o=desc&s=updated
Least recently updated https://patch-diff.githubusercontent.com/topics/prolog-implementation?o=asc&s=updated
mthomhttps://patch-diff.githubusercontent.com/mthom
scryer-prologhttps://patch-diff.githubusercontent.com/mthom/scryer-prolog
Sponsor https://patch-diff.githubusercontent.com/sponsors/mthom
Star 2.4k https://patch-diff.githubusercontent.com/login?return_to=%2Fmthom%2Fscryer-prolog
Code https://patch-diff.githubusercontent.com/mthom/scryer-prolog
Issues https://patch-diff.githubusercontent.com/mthom/scryer-prolog/issues
Pull requests https://patch-diff.githubusercontent.com/mthom/scryer-prolog/pulls
Discussions https://patch-diff.githubusercontent.com/mthom/scryer-prolog/discussions
rusthttps://patch-diff.githubusercontent.com/topics/rust
prologhttps://patch-diff.githubusercontent.com/topics/prolog
prolog-implementationhttps://patch-diff.githubusercontent.com/topics/prolog-implementation
prolog-interpreterhttps://patch-diff.githubusercontent.com/topics/prolog-interpreter
prolog-programming-languagehttps://patch-diff.githubusercontent.com/topics/prolog-programming-language
iso-prolog-standardhttps://patch-diff.githubusercontent.com/topics/iso-prolog-standard
https://patch-diff.githubusercontent.com/EvgSkv/logica
EvgSkvhttps://patch-diff.githubusercontent.com/EvgSkv
logicahttps://patch-diff.githubusercontent.com/EvgSkv/logica
Star 2.1k https://patch-diff.githubusercontent.com/login?return_to=%2FEvgSkv%2Flogica
Code https://patch-diff.githubusercontent.com/EvgSkv/logica
Issues https://patch-diff.githubusercontent.com/EvgSkv/logica/issues
Pull requests https://patch-diff.githubusercontent.com/EvgSkv/logica/pulls
Discussions https://patch-diff.githubusercontent.com/EvgSkv/logica/discussions
languagehttps://patch-diff.githubusercontent.com/topics/language
bigqueryhttps://patch-diff.githubusercontent.com/topics/bigquery
sqlhttps://patch-diff.githubusercontent.com/topics/sql
prestohttps://patch-diff.githubusercontent.com/topics/presto
sqlitehttps://patch-diff.githubusercontent.com/topics/sqlite
postgresqlhttps://patch-diff.githubusercontent.com/topics/postgresql
prologhttps://patch-diff.githubusercontent.com/topics/prolog
prolog-implementationhttps://patch-diff.githubusercontent.com/topics/prolog-implementation
dataloghttps://patch-diff.githubusercontent.com/topics/datalog
logic-programminghttps://patch-diff.githubusercontent.com/topics/logic-programming
logicahttps://patch-diff.githubusercontent.com/topics/logica
trinohttps://patch-diff.githubusercontent.com/topics/trino
https://patch-diff.githubusercontent.com/tau-prolog/tau-prolog
tau-prologhttps://patch-diff.githubusercontent.com/tau-prolog
tau-prologhttps://patch-diff.githubusercontent.com/tau-prolog/tau-prolog
Star 625 https://patch-diff.githubusercontent.com/login?return_to=%2Ftau-prolog%2Ftau-prolog
Code https://patch-diff.githubusercontent.com/tau-prolog/tau-prolog
Issues https://patch-diff.githubusercontent.com/tau-prolog/tau-prolog/issues
Pull requests https://patch-diff.githubusercontent.com/tau-prolog/tau-prolog/pulls
javascripthttps://patch-diff.githubusercontent.com/topics/javascript
prologhttps://patch-diff.githubusercontent.com/topics/prolog
prolog-implementationhttps://patch-diff.githubusercontent.com/topics/prolog-implementation
prolog-interpreterhttps://patch-diff.githubusercontent.com/topics/prolog-interpreter
logic-programminghttps://patch-diff.githubusercontent.com/topics/logic-programming
prolog-programming-languagehttps://patch-diff.githubusercontent.com/topics/prolog-programming-language
tau-prologhttps://patch-diff.githubusercontent.com/topics/tau-prolog
iso-prolog-standardhttps://patch-diff.githubusercontent.com/topics/iso-prolog-standard
trealla-prologhttps://patch-diff.githubusercontent.com/trealla-prolog
treallahttps://patch-diff.githubusercontent.com/trealla-prolog/trealla
Star 340 https://patch-diff.githubusercontent.com/login?return_to=%2Ftrealla-prolog%2Ftrealla
Code https://patch-diff.githubusercontent.com/trealla-prolog/trealla
Issues https://patch-diff.githubusercontent.com/trealla-prolog/trealla/issues
Pull requests https://patch-diff.githubusercontent.com/trealla-prolog/trealla/pulls
Discussions https://patch-diff.githubusercontent.com/trealla-prolog/trealla/discussions
chttps://patch-diff.githubusercontent.com/topics/c
prologhttps://patch-diff.githubusercontent.com/topics/prolog
prolog-implementationhttps://patch-diff.githubusercontent.com/topics/prolog-implementation
prolog-interpreterhttps://patch-diff.githubusercontent.com/topics/prolog-interpreter
prolog-programming-languagehttps://patch-diff.githubusercontent.com/topics/prolog-programming-language
iso-prolog-standardhttps://patch-diff.githubusercontent.com/topics/iso-prolog-standard
ciao-langhttps://patch-diff.githubusercontent.com/ciao-lang
ciaohttps://patch-diff.githubusercontent.com/ciao-lang/ciao
Star 329 https://patch-diff.githubusercontent.com/login?return_to=%2Fciao-lang%2Fciao
Code https://patch-diff.githubusercontent.com/ciao-lang/ciao
Issues https://patch-diff.githubusercontent.com/ciao-lang/ciao/issues
Pull requests https://patch-diff.githubusercontent.com/ciao-lang/ciao/pulls
Discussions https://patch-diff.githubusercontent.com/ciao-lang/ciao/discussions
programming-languagehttps://patch-diff.githubusercontent.com/topics/programming-language
interpreterhttps://patch-diff.githubusercontent.com/topics/interpreter
bytecodehttps://patch-diff.githubusercontent.com/topics/bytecode
compilerhttps://patch-diff.githubusercontent.com/topics/compiler
virtual-machinehttps://patch-diff.githubusercontent.com/topics/virtual-machine
logichttps://patch-diff.githubusercontent.com/topics/logic
prologhttps://patch-diff.githubusercontent.com/topics/prolog
prolog-implementationhttps://patch-diff.githubusercontent.com/topics/prolog-implementation
constraintshttps://patch-diff.githubusercontent.com/topics/constraints
prolog-interpreterhttps://patch-diff.githubusercontent.com/topics/prolog-interpreter
logic-programminghttps://patch-diff.githubusercontent.com/topics/logic-programming
clphttps://patch-diff.githubusercontent.com/topics/clp
prolog-programming-languagehttps://patch-diff.githubusercontent.com/topics/prolog-programming-language
prolog-compilerhttps://patch-diff.githubusercontent.com/topics/prolog-compiler
iso-prolog-standardhttps://patch-diff.githubusercontent.com/topics/iso-prolog-standard
ciao-prologhttps://patch-diff.githubusercontent.com/topics/ciao-prolog
rachelwileshttps://patch-diff.githubusercontent.com/rachelwiles
GoT-Checkhttps://patch-diff.githubusercontent.com/rachelwiles/GoT-Check
Star 70 https://patch-diff.githubusercontent.com/login?return_to=%2Frachelwiles%2FGoT-Check
Code https://patch-diff.githubusercontent.com/rachelwiles/GoT-Check
Issues https://patch-diff.githubusercontent.com/rachelwiles/GoT-Check/issues
Pull requests https://patch-diff.githubusercontent.com/rachelwiles/GoT-Check/pulls
databasehttps://patch-diff.githubusercontent.com/topics/database
prologhttps://patch-diff.githubusercontent.com/topics/prolog
prolog-implementationhttps://patch-diff.githubusercontent.com/topics/prolog-implementation
game-of-throneshttps://patch-diff.githubusercontent.com/topics/game-of-thrones
swi-prologhttps://patch-diff.githubusercontent.com/topics/swi-prolog
family-treehttps://patch-diff.githubusercontent.com/topics/family-tree
gothttps://patch-diff.githubusercontent.com/topics/got
prolog-programming-languagehttps://patch-diff.githubusercontent.com/topics/prolog-programming-language
prolog-applicationhttps://patch-diff.githubusercontent.com/topics/prolog-application
prolog-ruleshttps://patch-diff.githubusercontent.com/topics/prolog-rules
prolog-exerciseshttps://patch-diff.githubusercontent.com/topics/prolog-exercises
prolog-tutorialhttps://patch-diff.githubusercontent.com/topics/prolog-tutorial
twolodzkohttps://patch-diff.githubusercontent.com/twolodzko
prolog-rshttps://patch-diff.githubusercontent.com/twolodzko/prolog-rs
Star 46 https://patch-diff.githubusercontent.com/login?return_to=%2Ftwolodzko%2Fprolog-rs
Code https://patch-diff.githubusercontent.com/twolodzko/prolog-rs
Issues https://patch-diff.githubusercontent.com/twolodzko/prolog-rs/issues
Pull requests https://patch-diff.githubusercontent.com/twolodzko/prolog-rs/pulls
rusthttps://patch-diff.githubusercontent.com/topics/rust
prologhttps://patch-diff.githubusercontent.com/topics/prolog
prolog-implementationhttps://patch-diff.githubusercontent.com/topics/prolog-implementation
rust-langhttps://patch-diff.githubusercontent.com/topics/rust-lang
prolog-interpreterhttps://patch-diff.githubusercontent.com/topics/prolog-interpreter
EricZindahttps://patch-diff.githubusercontent.com/EricZinda
InductorHtnhttps://patch-diff.githubusercontent.com/EricZinda/InductorHtn
Star 42 https://patch-diff.githubusercontent.com/login?return_to=%2FEricZinda%2FInductorHtn
Code https://patch-diff.githubusercontent.com/EricZinda/InductorHtn
Issues https://patch-diff.githubusercontent.com/EricZinda/InductorHtn/issues
Pull requests https://patch-diff.githubusercontent.com/EricZinda/InductorHtn/pulls
pythonhttps://patch-diff.githubusercontent.com/topics/python
c-plus-plushttps://patch-diff.githubusercontent.com/topics/c-plus-plus
aihttps://patch-diff.githubusercontent.com/topics/ai
cplusplushttps://patch-diff.githubusercontent.com/topics/cplusplus
cpphttps://patch-diff.githubusercontent.com/topics/cpp
python-libraryhttps://patch-diff.githubusercontent.com/topics/python-library
prolog-implementationhttps://patch-diff.githubusercontent.com/topics/prolog-implementation
python3https://patch-diff.githubusercontent.com/topics/python3
htnhttps://patch-diff.githubusercontent.com/topics/htn
python-3https://patch-diff.githubusercontent.com/topics/python-3
cpp-libraryhttps://patch-diff.githubusercontent.com/topics/cpp-library
hierarchical-task-networkhttps://patch-diff.githubusercontent.com/topics/hierarchical-task-network
rm-hullhttps://patch-diff.githubusercontent.com/rm-hull
wamhttps://patch-diff.githubusercontent.com/rm-hull/wam
Star 28 https://patch-diff.githubusercontent.com/login?return_to=%2Frm-hull%2Fwam
Code https://patch-diff.githubusercontent.com/rm-hull/wam
Issues https://patch-diff.githubusercontent.com/rm-hull/wam/issues
Pull requests https://patch-diff.githubusercontent.com/rm-hull/wam/pulls
clojurehttps://patch-diff.githubusercontent.com/topics/clojure
tutorialhttps://patch-diff.githubusercontent.com/topics/tutorial
parser-combinatorshttps://patch-diff.githubusercontent.com/topics/parser-combinators
prolog-implementationhttps://patch-diff.githubusercontent.com/topics/prolog-implementation
unificationhttps://patch-diff.githubusercontent.com/topics/unification
wamhttps://patch-diff.githubusercontent.com/topics/wam
CapelliChttps://patch-diff.githubusercontent.com/CapelliC
hitchhicker-prologhttps://patch-diff.githubusercontent.com/CapelliC/hitchhicker-prolog
Star 19 https://patch-diff.githubusercontent.com/login?return_to=%2FCapelliC%2Fhitchhicker-prolog
Code https://patch-diff.githubusercontent.com/CapelliC/hitchhicker-prolog
Issues https://patch-diff.githubusercontent.com/CapelliC/hitchhicker-prolog/issues
Pull requests https://patch-diff.githubusercontent.com/CapelliC/hitchhicker-prolog/pulls
nodejshttps://patch-diff.githubusercontent.com/topics/nodejs
javascripthttps://patch-diff.githubusercontent.com/topics/javascript
browserhttps://patch-diff.githubusercontent.com/topics/browser
virtual-machinehttps://patch-diff.githubusercontent.com/topics/virtual-machine
prologhttps://patch-diff.githubusercontent.com/topics/prolog
prolog-implementationhttps://patch-diff.githubusercontent.com/topics/prolog-implementation
semantic-publishinghttps://patch-diff.githubusercontent.com/topics/semantic-publishing
logic-programminghttps://patch-diff.githubusercontent.com/topics/logic-programming
AppliedLogicSystemshttps://patch-diff.githubusercontent.com/AppliedLogicSystems
ALSProloghttps://patch-diff.githubusercontent.com/AppliedLogicSystems/ALSProlog
Star 17 https://patch-diff.githubusercontent.com/login?return_to=%2FAppliedLogicSystems%2FALSProlog
Code https://patch-diff.githubusercontent.com/AppliedLogicSystems/ALSProlog
Issues https://patch-diff.githubusercontent.com/AppliedLogicSystems/ALSProlog/issues
Pull requests https://patch-diff.githubusercontent.com/AppliedLogicSystems/ALSProlog/pulls
languagehttps://patch-diff.githubusercontent.com/topics/language
programming-languagehttps://patch-diff.githubusercontent.com/topics/programming-language
compilerhttps://patch-diff.githubusercontent.com/topics/compiler
prologhttps://patch-diff.githubusercontent.com/topics/prolog
prolog-implementationhttps://patch-diff.githubusercontent.com/topics/prolog-implementation
logic-programminghttps://patch-diff.githubusercontent.com/topics/logic-programming
prolog-programming-languagehttps://patch-diff.githubusercontent.com/topics/prolog-programming-language
iso-prolog-standardhttps://patch-diff.githubusercontent.com/topics/iso-prolog-standard
EricZindahttps://patch-diff.githubusercontent.com/EricZinda
InductorProloghttps://patch-diff.githubusercontent.com/EricZinda/InductorProlog
Star 15 https://patch-diff.githubusercontent.com/login?return_to=%2FEricZinda%2FInductorProlog
Code https://patch-diff.githubusercontent.com/EricZinda/InductorProlog
Issues https://patch-diff.githubusercontent.com/EricZinda/InductorProlog/issues
Pull requests https://patch-diff.githubusercontent.com/EricZinda/InductorProlog/pulls
cpphttps://patch-diff.githubusercontent.com/topics/cpp
prologhttps://patch-diff.githubusercontent.com/topics/prolog
prolog-implementationhttps://patch-diff.githubusercontent.com/topics/prolog-implementation
prolog-compilerhttps://patch-diff.githubusercontent.com/topics/prolog-compiler
inductor-prolog-enginehttps://patch-diff.githubusercontent.com/topics/inductor-prolog-engine
evertheylenhttps://patch-diff.githubusercontent.com/evertheylen
logicpyhttps://patch-diff.githubusercontent.com/evertheylen/logicpy
Star 12 https://patch-diff.githubusercontent.com/login?return_to=%2Fevertheylen%2Flogicpy
Code https://patch-diff.githubusercontent.com/evertheylen/logicpy
Issues https://patch-diff.githubusercontent.com/evertheylen/logicpy/issues
Pull requests https://patch-diff.githubusercontent.com/evertheylen/logicpy/pulls
prolog-implementationhttps://patch-diff.githubusercontent.com/topics/prolog-implementation
python3https://patch-diff.githubusercontent.com/topics/python3
logic-programminghttps://patch-diff.githubusercontent.com/topics/logic-programming
CapelliChttps://patch-diff.githubusercontent.com/CapelliC
hhprologhttps://patch-diff.githubusercontent.com/CapelliC/hhprolog
Star 12 https://patch-diff.githubusercontent.com/login?return_to=%2FCapelliC%2Fhhprolog
Code https://patch-diff.githubusercontent.com/CapelliC/hhprolog
Issues https://patch-diff.githubusercontent.com/CapelliC/hhprolog/issues
Pull requests https://patch-diff.githubusercontent.com/CapelliC/hhprolog/pulls
javascripthttps://patch-diff.githubusercontent.com/topics/javascript
cpphttps://patch-diff.githubusercontent.com/topics/cpp
virtual-machinehttps://patch-diff.githubusercontent.com/topics/virtual-machine
prologhttps://patch-diff.githubusercontent.com/topics/prolog
prolog-implementationhttps://patch-diff.githubusercontent.com/topics/prolog-implementation
harshjuly12https://patch-diff.githubusercontent.com/harshjuly12
SWI-Prologhttps://patch-diff.githubusercontent.com/harshjuly12/SWI-Prolog
Sponsor https://patch-diff.githubusercontent.com/sponsors/harshjuly12
Star 9 https://patch-diff.githubusercontent.com/login?return_to=%2Fharshjuly12%2FSWI-Prolog
Code https://patch-diff.githubusercontent.com/harshjuly12/SWI-Prolog
Issues https://patch-diff.githubusercontent.com/harshjuly12/SWI-Prolog/issues
Pull requests https://patch-diff.githubusercontent.com/harshjuly12/SWI-Prolog/pulls
prologhttps://patch-diff.githubusercontent.com/topics/prolog
prolog-implementationhttps://patch-diff.githubusercontent.com/topics/prolog-implementation
prolog-programming-languagehttps://patch-diff.githubusercontent.com/topics/prolog-programming-language
prolog-exerciseshttps://patch-diff.githubusercontent.com/topics/prolog-exercises
eazar001https://patch-diff.githubusercontent.com/eazar001
bfg-prologhttps://patch-diff.githubusercontent.com/eazar001/bfg-prolog
Star 8 https://patch-diff.githubusercontent.com/login?return_to=%2Feazar001%2Fbfg-prolog
Code https://patch-diff.githubusercontent.com/eazar001/bfg-prolog
Issues https://patch-diff.githubusercontent.com/eazar001/bfg-prolog/issues
Pull requests https://patch-diff.githubusercontent.com/eazar001/bfg-prolog/pulls
languagehttps://patch-diff.githubusercontent.com/topics/language
rusthttps://patch-diff.githubusercontent.com/topics/rust
vmhttps://patch-diff.githubusercontent.com/topics/vm
interpreterhttps://patch-diff.githubusercontent.com/topics/interpreter
compilerhttps://patch-diff.githubusercontent.com/topics/compiler
virtual-machinehttps://patch-diff.githubusercontent.com/topics/virtual-machine
logichttps://patch-diff.githubusercontent.com/topics/logic
prologhttps://patch-diff.githubusercontent.com/topics/prolog
prolog-implementationhttps://patch-diff.githubusercontent.com/topics/prolog-implementation
prolog-interpreterhttps://patch-diff.githubusercontent.com/topics/prolog-interpreter
logic-programminghttps://patch-diff.githubusercontent.com/topics/logic-programming
prolog-programming-languagehttps://patch-diff.githubusercontent.com/topics/prolog-programming-language
bfg9000https://patch-diff.githubusercontent.com/topics/bfg9000
wamhttps://patch-diff.githubusercontent.com/topics/wam
bfghttps://patch-diff.githubusercontent.com/topics/bfg
warren-abstract-machinehttps://patch-diff.githubusercontent.com/topics/warren-abstract-machine
epilyshttps://patch-diff.githubusercontent.com/epilys
ocaml-prologhttps://patch-diff.githubusercontent.com/epilys/ocaml-prolog
Sponsor https://patch-diff.githubusercontent.com/sponsors/epilys
Star 7 https://patch-diff.githubusercontent.com/login?return_to=%2Fepilys%2Focaml-prolog
Code https://patch-diff.githubusercontent.com/epilys/ocaml-prolog
Issues https://patch-diff.githubusercontent.com/epilys/ocaml-prolog/issues
Pull requests https://patch-diff.githubusercontent.com/epilys/ocaml-prolog/pulls
ocamlhttps://patch-diff.githubusercontent.com/topics/ocaml
prologhttps://patch-diff.githubusercontent.com/topics/prolog
prolog-implementationhttps://patch-diff.githubusercontent.com/topics/prolog-implementation
eignnxhttps://patch-diff.githubusercontent.com/eignnx
thoreauloghttps://patch-diff.githubusercontent.com/eignnx/thoreaulog
Star 5 https://patch-diff.githubusercontent.com/login?return_to=%2Feignnx%2Fthoreaulog
Code https://patch-diff.githubusercontent.com/eignnx/thoreaulog
Issues https://patch-diff.githubusercontent.com/eignnx/thoreaulog/issues
Pull requests https://patch-diff.githubusercontent.com/eignnx/thoreaulog/pulls
prologhttps://patch-diff.githubusercontent.com/topics/prolog
prolog-implementationhttps://patch-diff.githubusercontent.com/topics/prolog-implementation
javascript-libraryhttps://patch-diff.githubusercontent.com/topics/javascript-library
reasonmlhttps://patch-diff.githubusercontent.com/topics/reasonml
jElhammhttps://patch-diff.githubusercontent.com/jElhamm
100-Projects-for-Prologhttps://patch-diff.githubusercontent.com/jElhamm/100-Projects-for-Prolog
Star 5 https://patch-diff.githubusercontent.com/login?return_to=%2FjElhamm%2F100-Projects-for-Prolog
Code https://patch-diff.githubusercontent.com/jElhamm/100-Projects-for-Prolog
Issues https://patch-diff.githubusercontent.com/jElhamm/100-Projects-for-Prolog/issues
Pull requests https://patch-diff.githubusercontent.com/jElhamm/100-Projects-for-Prolog/pulls
graphhttps://patch-diff.githubusercontent.com/topics/graph
prologhttps://patch-diff.githubusercontent.com/topics/prolog
prolog-implementationhttps://patch-diff.githubusercontent.com/topics/prolog-implementation
sorting-algorithmshttps://patch-diff.githubusercontent.com/topics/sorting-algorithms
sorting-algorithms-implementedhttps://patch-diff.githubusercontent.com/topics/sorting-algorithms-implemented
dfs-algorithmhttps://patch-diff.githubusercontent.com/topics/dfs-algorithm
string-algorithmshttps://patch-diff.githubusercontent.com/topics/string-algorithms
prolog-programming-languagehttps://patch-diff.githubusercontent.com/topics/prolog-programming-language
mathematical-programminghttps://patch-diff.githubusercontent.com/topics/mathematical-programming
prolog-ruleshttps://patch-diff.githubusercontent.com/topics/prolog-rules
bfs-searchhttps://patch-diff.githubusercontent.com/topics/bfs-search
list-operationhttps://patch-diff.githubusercontent.com/topics/list-operation
dls-algorithmhttps://patch-diff.githubusercontent.com/topics/dls-algorithm
list-operationshttps://patch-diff.githubusercontent.com/topics/list-operations
graph-path-finderhttps://patch-diff.githubusercontent.com/topics/graph-path-finder
ids-algorithmhttps://patch-diff.githubusercontent.com/topics/ids-algorithm
w-hendersonhttps://patch-diff.githubusercontent.com/w-henderson
WebPLhttps://patch-diff.githubusercontent.com/w-henderson/WebPL
Star 5 https://patch-diff.githubusercontent.com/login?return_to=%2Fw-henderson%2FWebPL
Code https://patch-diff.githubusercontent.com/w-henderson/WebPL
Issues https://patch-diff.githubusercontent.com/w-henderson/WebPL/issues
Pull requests https://patch-diff.githubusercontent.com/w-henderson/WebPL/pulls
rusthttps://patch-diff.githubusercontent.com/topics/rust
prologhttps://patch-diff.githubusercontent.com/topics/prolog
webassemblyhttps://patch-diff.githubusercontent.com/topics/webassembly
prolog-implementationhttps://patch-diff.githubusercontent.com/topics/prolog-implementation
Curate this topic https://github.com/github/explore/tree/master/CONTRIBUTING.md?source=add-description-prolog-implementation
Learn more https://docs.github.com/en/articles/classifying-your-repository-with-topics
https://github.com
Termshttps://docs.github.com/site-policy/github-terms/github-terms-of-service
Privacyhttps://docs.github.com/site-policy/privacy-policies/github-privacy-statement
Securityhttps://github.com/security
Statushttps://www.githubstatus.com/
Communityhttps://github.community/
Docshttps://docs.github.com/
Contacthttps://support.github.com?tags=dotcom-footer

Viewport: width=device-width


URLs of crawlers that visited me.