|
DataMuseum.dkPresents historical artifacts from the history of: RegneCentralen RC759 "Piccoline" |
This is an automatic "excavation" of a thematic subset of
See our Wiki for more about RegneCentralen RC759 "Piccoline" Excavated with: AutoArchaeologist - Free & Open Source Software. |
top - download
Length: 1280 (0x500)
Types: TextFile
Names: »FLODEN.SCL«
└─⟦216f59cd8⟧ Bits:30002641 SCANLOG - Piccoline vers. nov. 87
└─ ⟦this⟧ »FLODEN.SCL«
; Jan Rubæk Pedersen 1. Marts 1985
;
; Bruges sammen med 'udvid' og 'fortolk' på DANLOG-disketten.
; Kaldes på formen
; find alle Godt så udvid(<p(n,n,n,n)>,Res,p(s,s,s,s))
; og fortolk(Res).
;
;Bonden sejler over alene:
træk(p(Gammel,Ulv,Ged,Kål),p(Ny,Ulv,Ged,Kål)) hvis
modsat(Gammel,Ny) og
ikke(ulovlig(Ny,Ulv,Ged,Kål)).
;Bonden tager ulven med:
træk(p(Bonde_Ulv,Bonde_Ulv,Ged,Kål),p(Ny_Bonde_Ulv,Ny_Bonde_Ulv,Ged,Kål)) hvis
modsat(Bonde_Ulv,Ny_Bonde_Ulv) og
ikke(ulovlig(Ny_Bonde_Ulv,Ny_Bonde_Ulv,Ged,Kål)).
;Bonden tager geden med:
træk(p(Bonde_Ged,Ulv,Bonde_Ged,Kål),p(Ny_Bonde_Ged,Ulv,Ny_Bonde_Ged,Kål)) hvis
modsat(Bonde_Ged,Ny_Bonde_Ged) og
ikke(ulovlig(Ny_Bonde_Ged,Ulv,Ny_Bonde_Ged,Kål)).
;Bonden tager kålhovedet med:
træk(p(Bonde_Kål,Ulv,Ged,Bonde_Kål),p(Ny_Bonde_Kål,Ulv,Ged,Ny_Bonde_Kål)) hvis
modsat(Bonde_Kål,Ny_Bonde_Kål) og
ikke(ulovlig(Ny_Bonde_Kål,Ulv,Ged,Ny_Bonde_Kål)).
;Geden og ulven er begge modsat bonden:
ulovlig(Bonde,Ulv_og_Ged,Ulv_og_Ged,Kål) hvis
modsat(Bonde,Ulv_og_Ged).
;Geden og kålhovedet er begge modsat bonden:
ulovlig(Bonde,Ulv,Ged_og_Kål,Ged_og_Kål) hvis
modsat(Bonde,Ged_og_Kål).
modsat(n,s).
modsat(s,n).
«eof»