| CARVIEW |
Select Language
HTTP/2 302
server: nginx
date: Tue, 23 Dec 2025 19:13:23 GMT
content-type: text/plain; charset=utf-8
content-length: 0
x-archive-redirect-reason: found capture at 20090613073558
location: https://web.archive.org/web/20090613073558/https://github.com/propella/prolog/tree/master
server-timing: captures_list;dur=0.741347, exclusion.robots;dur=0.058743, exclusion.robots.policy;dur=0.045567, esindex;dur=0.011047, cdx.remote;dur=12.267237, LoadShardBlock;dur=187.079837, PetaboxLoader3.datanode;dur=119.613922, PetaboxLoader3.resolve;dur=38.263984
x-app-server: wwwb-app214-dc8
x-ts: 302
x-tr: 234
server-timing: TR;dur=0,Tw;dur=0,Tc;dur=0
set-cookie: wb-p-SERVER=wwwb-app214; path=/
x-location: All
x-as: 14061
x-rl: 0
x-na: 0
x-page-cache: MISS
server-timing: MISS
x-nid: DigitalOcean
referrer-policy: no-referrer-when-downgrade
permissions-policy: interest-cohort=()
HTTP/2 200
server: nginx
date: Tue, 23 Dec 2025 19:13:24 GMT
content-type: text/html; charset=utf-8
x-archive-orig-server: nginx/0.6.31
x-archive-orig-date: Sat, 13 Jun 2009 07:35:58 GMT
x-archive-orig-connection: close
x-archive-orig-status: 200 OK
x-archive-orig-x-runtime: 395ms
x-archive-orig-etag: "0ddb5f3649d86619bf177d3137876759"
x-archive-orig-cache-control: private, max-age=0, must-revalidate
x-archive-orig-content-length: 18434
x-archive-guessed-content-type: text/html
x-archive-guessed-charset: utf-8
memento-datetime: Sat, 13 Jun 2009 07:35:58 GMT
link: ; rel="original", ; rel="timemap"; type="application/link-format", ; rel="timegate"
content-security-policy: default-src 'self' 'unsafe-eval' 'unsafe-inline' data: blob: archive.org web.archive.org web-static.archive.org wayback-api.archive.org athena.archive.org analytics.archive.org pragma.archivelab.org wwwb-events.archive.org
x-archive-src: 51_10_20090613042855_crawl102-c/51_10_20090613073432_crawl101.arc.gz
server-timing: captures_list;dur=0.453579, exclusion.robots;dur=0.015332, exclusion.robots.policy;dur=0.006906, esindex;dur=0.008969, cdx.remote;dur=64.002416, LoadShardBlock;dur=205.386107, PetaboxLoader3.datanode;dur=148.085064, PetaboxLoader3.resolve;dur=114.798765, load_resource;dur=126.854165
x-app-server: wwwb-app214-dc8
x-ts: 200
x-tr: 454
server-timing: TR;dur=0,Tw;dur=0,Tc;dur=0
x-location: All
x-as: 14061
x-rl: 0
x-na: 0
x-page-cache: MISS
server-timing: MISS
x-nid: DigitalOcean
referrer-policy: no-referrer-when-downgrade
permissions-policy: interest-cohort=()
content-encoding: gzip
propella's prolog at master - GitHub
This repository is private.
All pages are served over SSL and all pushing and pulling is done over SSH.
No one may fork, clone, or view it unless they are added as a member.
Every repository with this icon () is private.
Every repository with this icon (
) is private.
This repository is public.
Anyone may fork, clone, or view it.
Every repository with this icon () is public.
Every repository with this icon (
) is public.
| Description: | a prolog |
| Homepage: | https://propella.blogspot.com/2009/04/prolog-in-haskell.html |
| Clone URL: |
git://github.com/propella/prolog.git
Give this clone URL to anyone.
git clone git://github.com/propella/prolog.git
|
prolog /
| name | age | message | |
|---|---|---|---|
 |
Prolog.hs | Loading commit data...  |
|
| |
README | ||
| |
demo.prolog | Tue Apr 28 21:30:52 -0700 2009 | add prolog source [propella] |
| |
note-ja.txt | ||
| |
note.html | Fri May 01 14:19:56 -0700 2009 | add moredocumentations [propella] |
| |
test.hs |
A pure prolog interpreter * Getting started $ runghc Prolog.hs or $ hugs Prolog.hs Prolog> main * Command food(apple). -- Add a clause. ?- food(X). -- Query. ?? -- Show all. * Example runghc Prolog.hs < demo.prolog
This feature is coming soon. Sit tight!