Rhialto

murthe.8:.../scratch/simh-vax/vaxbsd92$ zimh-vax netbsd-boot

MicroVAX 3900 simulator ZIMH 2026.4.30
/mnt/scratch/scratch/simh-vax/vaxbsd92/netbsd-boot-6> attach nvr nvram.bin
%SIM-INFO: NVR: buffering file in memory
NAT args: dhcp
NAT network setup:
        gateway       =10.0.2.2/24(255.255.255.0)
        DNS           =10.0.2.3
        dhcp_start    =10.0.2.15

Rhialto

#!/usr/pkg/bin/swi-prolog
%
% Solve the puzzle of the wolf, the goat and th cabbage
%

:- use_module(library(lists)).

go :-
    Begin = situation([h,w,g,c], []),
    Goal  = situation([], [h,c,g,w]),

Rhialto

#!/usr/pkg/bin/swi-prolog
%
% Solve the puzzle of the wolf, the goat and the cabbage
%
% Version 2, using place(Human, Wolf, Goat, Cabbage).

:- use_module(library(lists)).			% for member/2

go :-
    go(Messages),