| CARVIEW |
Select Language
HTTP/2 302
server: nginx
date: Wed, 24 Dec 2025 02:24:41 GMT
content-type: text/plain; charset=utf-8
content-length: 0
x-archive-redirect-reason: found capture at 20090511062541
location: https://web.archive.org/web/20090511062541/https://github.com/propella/prolog/tree
server-timing: captures_list;dur=1.410518, exclusion.robots;dur=0.058589, exclusion.robots.policy;dur=0.044238, esindex;dur=0.010388, cdx.remote;dur=19.219774, LoadShardBlock;dur=477.517279, PetaboxLoader3.datanode;dur=337.829667, PetaboxLoader3.resolve;dur=41.204455
x-app-server: wwwb-app206-dc6
x-ts: 302
x-tr: 531
server-timing: TR;dur=0,Tw;dur=0,Tc;dur=1
set-cookie: wb-p-SERVER=wwwb-app206; 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 301
server: nginx
date: Wed, 24 Dec 2025 02:24:42 GMT
content-type: text/html; charset=utf-8
content-length: 111
x-archive-orig-server: nginx/0.6.31
x-archive-orig-date: Mon, 11 May 2009 06:25:40 GMT
x-archive-orig-connection: close
x-archive-orig-status: 301 Moved Permanently
location: https://web.archive.org/web/20090511062541/https://github.com/propella/prolog/tree/master
x-archive-orig-x-runtime: 51ms
x-archive-orig-cache-control: no-cache
x-archive-orig-content-length: 111
cache-control: max-age=1800
memento-datetime: Mon, 11 May 2009 06:25:41 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: 52_9_20090511025816_crawl102-c/52_9_20090511062523_crawl101.arc.gz
server-timing: captures_list;dur=1.410682, exclusion.robots;dur=0.016653, exclusion.robots.policy;dur=0.008098, esindex;dur=0.011413, cdx.remote;dur=7.131943, LoadShardBlock;dur=566.689136, PetaboxLoader3.datanode;dur=222.418239, PetaboxLoader3.resolve;dur=439.829310, load_resource;dur=149.559442
x-app-server: wwwb-app206-dc6
x-ts: 301
x-tr: 749
server-timing: TR;dur=0,Tw;dur=0,Tc;dur=1
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: Wed, 24 Dec 2025 02:24:42 GMT
content-type: text/html; charset=utf-8
x-archive-orig-server: nginx/0.6.31
x-archive-orig-date: Mon, 11 May 2009 06:25:41 GMT
x-archive-orig-connection: close
x-archive-orig-status: 200 OK
x-archive-orig-x-runtime: 119ms
x-archive-orig-etag: "ae40ea1f95c2c121222892d496b239b6"
x-archive-orig-cache-control: private, max-age=0, must-revalidate
x-archive-orig-content-length: 18073
x-archive-guessed-content-type: text/html
x-archive-guessed-charset: utf-8
memento-datetime: Mon, 11 May 2009 06:25:41 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: 52_9_20090511025816_crawl102-c/52_9_20090511062523_crawl101.arc.gz
server-timing: captures_list;dur=0.670905, exclusion.robots;dur=0.022083, exclusion.robots.policy;dur=0.010634, esindex;dur=0.011813, cdx.remote;dur=5.098222, LoadShardBlock;dur=134.949539, PetaboxLoader3.datanode;dur=98.155427, PetaboxLoader3.resolve;dur=94.025209, load_resource;dur=61.234382
x-app-server: wwwb-app206-dc6
x-ts: 200
x-tr: 251
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 | Fri May 01 10:56:20 -0700 2009 | Add README, test.hs, and copyright description [propella] |
| |
README | Fri May 01 10:56:20 -0700 2009 | Add README, test.hs, and copyright description [propella] |
| |
demo.prolog | Tue Apr 28 21:30:52 -0700 2009 | add prolog source [propella] |
| |
note-ja.txt | Fri May 01 14:19:56 -0700 2009 | add moredocumentations [propella] |
| |
note.html | Fri May 01 14:19:56 -0700 2009 | add moredocumentations [propella] |
| |
test.hs | Fri May 01 10:56:20 -0700 2009 | Add README, test.hs, and copyright description [propella] |
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
Hosting provided by our
partners at Engine Yard
partners at Engine Yard
This feature is coming soon. Sit tight!