{"id":26642981,"url":"https://github.com/dideler/logic-programming","last_synced_at":"2026-01-05T09:06:17.826Z","repository":{"id":1621430,"uuid":"2299829","full_name":"dideler/logic-programming","owner":"dideler","description":"A collection of short Prolog programs \u0026 predicates","archived":false,"fork":false,"pushed_at":"2011-12-06T19:01:36.000Z","size":334,"stargazers_count":3,"open_issues_count":0,"forks_count":1,"subscribers_count":3,"default_branch":"master","last_synced_at":"2023-03-12T03:52:40.622Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":"","language":"Prolog","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":null,"status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/dideler.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":null,"code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null}},"created_at":"2011-08-31T05:50:04.000Z","updated_at":"2022-06-04T22:36:34.000Z","dependencies_parsed_at":"2022-07-18T18:42:08.944Z","dependency_job_id":null,"html_url":"https://github.com/dideler/logic-programming","commit_stats":null,"previous_names":[],"tags_count":0,"template":null,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dideler%2Flogic-programming","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dideler%2Flogic-programming/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dideler%2Flogic-programming/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dideler%2Flogic-programming/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/dideler","download_url":"https://codeload.github.com/dideler/logic-programming/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":245337358,"owners_count":20598868,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":[],"created_at":"2025-03-24T19:28:50.944Z","updated_at":"2026-01-05T09:06:17.815Z","avatar_url":"https://github.com/dideler.png","language":"Prolog","funding_links":[],"categories":[],"sub_categories":[],"readme":"Solutions to problems from a 2nd year course on Logic Programming.\n\n\nContents\n--------\n\n#### A1 ####\n- Unification \u0026 Arithmetic (i.e. do the following expressions unify, if yes, what's the result?)\n- Family Tree\n- Animal Classification\n\n#### A2 ####\n- List Operations (Prolog predicates for list operations)\n- Six Degrees of Bruce Campbell (finds if a given actor is within 6 degrees of separation of Bruce)\n- Campbell Number (finds the minimum degrees of separation between an actor and Bruce)\n\n#### A3 ####\n- String Tokenizer\n- Postfix Calculator\n- Knapsack Problem (uses assert predicate, solves by brute-force)\n\n#### A4 ####\n- Logic Puzzle (uses Constraint Logic Programming with Finite Domains - clpfd)\n- Palindromes (uses Definite Clause Grammars)\n\n\nCredit\n------\n\nEarl E. Foxwell was my course instructor. He came up with the problems (or borrowed them from elsewhere).\nThe problems are not my own, but the solutions are unless otherwise noted.\n\n\nTODO\n----\n- Fix bugs \u0026 mistakes\n- Cleanup\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fdideler%2Flogic-programming","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fdideler%2Flogic-programming","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fdideler%2Flogic-programming/lists"}