https://github.com/dideler/logic-programming
A collection of short Prolog programs & predicates
https://github.com/dideler/logic-programming
Last synced: 5 months ago
JSON representation
A collection of short Prolog programs & predicates
- Host: GitHub
- URL: https://github.com/dideler/logic-programming
- Owner: dideler
- Created: 2011-08-31T05:50:04.000Z (almost 15 years ago)
- Default Branch: master
- Last Pushed: 2011-12-06T19:01:36.000Z (over 14 years ago)
- Last Synced: 2023-03-12T03:52:40.622Z (over 3 years ago)
- Language: Prolog
- Homepage:
- Size: 326 KB
- Stars: 3
- Watchers: 3
- Forks: 1
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
Solutions to problems from a 2nd year course on Logic Programming.
Contents
--------
#### A1 ####
- Unification & Arithmetic (i.e. do the following expressions unify, if yes, what's the result?)
- Family Tree
- Animal Classification
#### A2 ####
- List Operations (Prolog predicates for list operations)
- Six Degrees of Bruce Campbell (finds if a given actor is within 6 degrees of separation of Bruce)
- Campbell Number (finds the minimum degrees of separation between an actor and Bruce)
#### A3 ####
- String Tokenizer
- Postfix Calculator
- Knapsack Problem (uses assert predicate, solves by brute-force)
#### A4 ####
- Logic Puzzle (uses Constraint Logic Programming with Finite Domains - clpfd)
- Palindromes (uses Definite Clause Grammars)
Credit
------
Earl E. Foxwell was my course instructor. He came up with the problems (or borrowed them from elsewhere).
The problems are not my own, but the solutions are unless otherwise noted.
TODO
----
- Fix bugs & mistakes
- Cleanup