Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub topics: prolog-rules
pechenushkaaa/AI-systems-Lab1
Системы искусственного интеллекта (ЛР №1)
Language: Prolog - Size: 6.84 KB - Last synced: 5 months ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0
JohnFromSpace/Prolog
Prolog is a logic programming language associated with artificial intelligence and computational linguistics.
Language: Prolog - Size: 305 KB - Last synced: 5 months ago - Pushed: 5 months ago - Stars: 0 - Forks: 0
maciej-nowak/DP-Film-Expert-System
Film expert system based on logic rules. Created at the Univeristy as the project within Declarative Programming classes in 2015. The purpose of this project was to creat expert system in Prolog and improve understanding of declarative programming paradigm.
Language: Prolog - Size: 18.6 KB - Last synced: about 1 year ago - Pushed: over 6 years ago - Stars: 17 - Forks: 7
rachelwiles/GoT-Check
:crossed_swords: Game of Thrones character database and family trees in Prolog
Language: Prolog - Size: 37.1 KB - Last synced: about 1 year ago - Pushed: about 5 years ago - Stars: 65 - Forks: 13
ngangavic/swi-prolog
Logic Programming is the name given to a distinctive style of programming, very different from that of conventional programming languages such as C++ and Java. Logic programming is a programming paradigm based on mathematical logic. In this paradigm the programmer specifies relationships among data values (this constitutes a logic program) and then poses queries to the execution environment (usually an interactive interpreter) in order to see whether certain relationships hold. Putting this in another way, a logic program, through explicit facts and rules, defines a base of knowledge from which implicit knowledge can be extracted. Prolog and LISP two most popular Logic Programming languages.
Language: Prolog - Size: 3.91 KB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0
lewtds/prolog-sheets
Connecting the declarative logic programming paradigm with the ease of use of spreadsheets
Language: HTML - Size: 9.11 MB - Last synced: about 1 year ago - Pushed: over 4 years ago - Stars: 0 - Forks: 0
maciej-nowak/LCS-Conjunctive-Normal-Form
Converting formula into CNF using rules. Created at the University as the project within Logic in Computer Science classes in 2016. The purpose of this project was to learn converting formulas into CNF based on Prolog's rules.
Language: Prolog - Size: 35.2 KB - Last synced: about 1 year ago - Pushed: over 6 years ago - Stars: 0 - Forks: 0