Topic: "prolog-rules"
rachelwiles/GoT-Check
:crossed_swords: Game of Thrones character database and family trees in Prolog
Language: Prolog - Size: 37.1 KB - Last synced at: over 2 years ago - Pushed at: about 6 years ago - Stars: 65 - Forks: 13
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 at: 10 months ago - Pushed at: over 7 years ago - Stars: 22 - Forks: 7
jElhamm/100-Projects-for-Prolog
"The repository '100 Mini Projects for Prolog' includes small projects for learning and practicing Prolog."
Language: Prolog - Size: 5.98 MB - Last synced at: 2 months ago - Pushed at: 11 months ago - Stars: 1 - Forks: 1
JohnFromSpace/Prolog
Prolog is a logic programming language associated with artificial intelligence and computational linguistics.
Language: Prolog - Size: 305 KB - Last synced at: 3 months ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0
thkox/uni_2022-logic-programming-multiple-exercises
This repository contains solutions for the exercises from the "Logical Programming" course, offered in the 5th semester of the 2022 academic year at the University of Piraeus, Department of Informatics.
Language: Prolog - Size: 1000 KB - Last synced at: 2 months ago - Pushed at: 8 months ago - Stars: 0 - Forks: 0
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 at: over 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0
pechenushkaaa/AI-systems-Lab1
Системы искусственного интеллекта (ЛР №1)
Language: Prolog - Size: 6.84 KB - Last synced at: over 1 year ago - Pushed at: over 4 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 at: about 2 years ago - Pushed at: over 5 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 at: over 2 years ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0