{"id":24865537,"url":"https://github.com/kfl/pure-prolog","last_synced_at":"2025-08-19T01:07:26.435Z","repository":{"id":40405126,"uuid":"105637552","full_name":"kfl/pure-prolog","owner":"kfl","description":"Simple pure prolog interpreter","archived":false,"fork":false,"pushed_at":"2022-05-11T07:39:23.000Z","size":15,"stargazers_count":3,"open_issues_count":1,"forks_count":1,"subscribers_count":2,"default_branch":"master","last_synced_at":"2025-06-28T20:12:00.878Z","etag":null,"topics":["haskell","prolog"],"latest_commit_sha":null,"homepage":"","language":"Haskell","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"mit","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/kfl.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null}},"created_at":"2017-10-03T10:06:58.000Z","updated_at":"2023-09-11T20:35:25.000Z","dependencies_parsed_at":"2022-08-09T19:30:58.640Z","dependency_job_id":null,"html_url":"https://github.com/kfl/pure-prolog","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"purl":"pkg:github/kfl/pure-prolog","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/kfl%2Fpure-prolog","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/kfl%2Fpure-prolog/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/kfl%2Fpure-prolog/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/kfl%2Fpure-prolog/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/kfl","download_url":"https://codeload.github.com/kfl/pure-prolog/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/kfl%2Fpure-prolog/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":271083571,"owners_count":24696322,"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","status":"online","status_checked_at":"2025-08-18T02:00:08.743Z","response_time":89,"last_error":null,"robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":true,"can_crawl_api":true,"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":["haskell","prolog"],"created_at":"2025-02-01T00:00:04.237Z","updated_at":"2025-08-19T01:07:26.412Z","avatar_url":"https://github.com/kfl.png","language":"Haskell","funding_links":[],"categories":[],"sub_categories":[],"readme":"What Is It?\n===========\n\nSimple-minded implementation of pure Prolog.\n\n\nInterface\n---------\n\nThe help message you get by calling `pure-prolog -?`:\n\n~~~\nPure Prolog Interpreter v0.1, (C) Ken Friis Larsen 2012-2018\n\noptions [OPTIONS] [GOALSTRING]\n\n\nCommon flags:\n  -s --search=SEARCH    Specify whether to use DFS, BFS, or Limited\n  -p --program=FILE     Prolog file with clauses\n  -l --limit=INT        Limit the number of solutions found\n  -d --depth=INT        Maximum depth to traverse when using limited search\n  -i --info=ANALYSIS    Don't interpret program, only analyse it\n  -? --help             Display help message\n  -V --version          Print version information\n     --numeric-version  Print just the version number\n~~~\n\nValid values for analysis are `External`, `Uses`, and `Interface`. If\nyou want see both which predicates are declared (the interface) and\nwhich predicates are called (the uses) in the file `myprolog.pl` then\nuse the command:\n\n~~~\n  $ pure-prolog -p myprolog.pl -i interface -i uses\n~~~\n\nThis will first print the interface (one predicate per line), then a\nblank line, and finally the uses (one predicate per line).\n\nIf you just want a list of the external (or build-in) predicates that\nare used, then use `-i external`.\n\n\nHow to install\n--------------\n\n~~~\n  $ git clone https://github.com/kfl/pure-prolog.git\n  $ cd pure-prolog\n  $ stack install\n~~~\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fkfl%2Fpure-prolog","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fkfl%2Fpure-prolog","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fkfl%2Fpure-prolog/lists"}