| CARVIEW |
Select Language
HTTP/2 302
server: nginx
date: Thu, 31 Jul 2025 04:43:35 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.917856, exclusion.robots;dur=0.030873, exclusion.robots.policy;dur=0.015056, esindex;dur=0.014750, cdx.remote;dur=21.476213, LoadShardBlock;dur=363.150975, PetaboxLoader3.datanode;dur=74.521651, PetaboxLoader3.resolve;dur=116.157027
x-app-server: wwwb-app219
x-ts: 302
x-tr: 440
server-timing: TR;dur=0,Tw;dur=0,Tc;dur=0
set-cookie: SERVER=wwwb-app219; path=/
x-location: All
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: Thu, 31 Jul 2025 04:43:36 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", ; rel="first memento"; datetime="Mon, 11 May 2009 06:25:41 GMT", ; rel="prev memento"; datetime="Mon, 11 May 2009 06:25:41 GMT", ; rel="memento"; datetime="Sat, 13 Jun 2009 07:35:58 GMT", ; rel="next memento"; datetime="Mon, 04 Jun 2018 11:33:43 GMT", ; rel="last memento"; datetime="Sat, 26 Jul 2025 13:33:42 GMT"
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.694176, exclusion.robots;dur=0.026444, exclusion.robots.policy;dur=0.013223, esindex;dur=0.014232, cdx.remote;dur=8.857399, LoadShardBlock;dur=320.356917, PetaboxLoader3.datanode;dur=301.687073, PetaboxLoader3.resolve;dur=148.028756, load_resource;dur=192.816760
x-app-server: wwwb-app219
x-ts: 200
x-tr: 596
server-timing: TR;dur=0,Tw;dur=0,Tc;dur=0
x-location: All
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!