Welcome to the Emacs shell ~/svns/wisp/var/timm/10/310/src/prolog/4/a $ swipl -f runiv.pl ERROR: /Users/timm/svns/wisp/var/timm/10/310/src/prolog/4/a/runiv.pl:16:38: Syntax error: Unexpected end of clause % /Users/timm/svns/wisp/var/timm/10/310/src/prolog/4/a/runiv.pl compiled 0.00 sec, 3,596 bytes Welcome to SWI-Prolog (Multi-threaded, 32 bits, Version 5.6.54) Copyright (c) 1990-2008 University of Amsterdam. SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software, and you are welcome to redistribute it under certain conditions. Please visit http://www.swi-prolog.org for details. For help, use ?- help(Topic). or ?- apropos(Word). ?- make. % /Users/timm/svns/wisp/var/timm/10/310/src/prolog/4/a/runiv.pl compiled 0.00 sec, 180 bytes % Scanning references for 2 possibly undefined predicates Warning: The predicates below are not defined. If these are defined Warning: at runtime using assert/1, use :- dynamic Name/Arity. Warning: Warning: visit/3, which is referenced by Warning: 3-th clause of visit2/3 true. ?- make. % /Users/timm/svns/wisp/var/timm/10/310/src/prolog/4/a/runiv.pl compiled 0.00 sec, 0 bytes % Scanning references for 2 possibly undefined predicates true. ?- demo(1). ERROR: visit2/3: Undefined procedure: a/4 Exception: (13) visit2(a(b(c, d, e, f), [g, h, i]), 0, say) ? a abort % Execution Aborted ?- make. % /Users/timm/svns/wisp/var/timm/10/310/src/prolog/4/a/runiv.pl compiled 0.00 sec, 0 bytes % Scanning references for 3 possibly undefined predicates true. ?- demo(1). ERROR: tab/1: Type error: `integer' expected, found `a' Exception: (14) visit2(say, 0, a) ? a abort % Execution Aborted ?- make. % /Users/timm/svns/wisp/var/timm/10/310/src/prolog/4/a/runiv.pl compiled 0.00 sec, 0 bytes % Scanning references for 3 possibly undefined predicates true. ?- demo(1). a b c d e f . g . h . i [] true. ?- make. % /Users/timm/svns/wisp/var/timm/10/310/src/prolog/4/a/runiv.pl compiled 0.00 sec, 172 bytes % Scanning references for 3 possibly undefined predicates true. ?- demo(1). functor=a arity=2 functor=b arity=4 c d e f functor= . arity=2 g functor= . arity=2 h functor= . arity=2 i [] true. ?- make. % /Users/timm/svns/wisp/var/timm/10/310/src/prolog/4/a/runiv.pl compiled 0.00 sec, 16 bytes % Scanning references for 3 possibly undefined predicates true. ?-demo(1). functor=a arity=2 functor=b arity=4 c d e f functor= . arity=2 g functor= . arity=2 h functor= . arity=2 i [] true. ?- make. % /Users/timm/svns/wisp/var/timm/10/310/src/prolog/4/a/runiv.pl compiled 0.00 sec, 36 bytes % Scanning references for 3 possibly undefined predicates true. ?- demo(1). functor=a arity=2 functor=b arity=4 functor= + arity=2 2 functor= / arity=2 3 4 d e f functor= . arity=2 g functor= . arity=2 h functor= . arity=2 i [] true. ?- make. % /Users/timm/svns/wisp/var/timm/10/310/src/prolog/4/a/runiv.pl compiled 0.00 sec, 44 bytes % Scanning references for 5 possibly undefined predicates Warning: The predicates below are not defined. If these are defined Warning: at runtime using assert/1, use :- dynamic Name/Arity. Warning: Warning: visit/3, which is referenced by Warning: 1-st clause of demo1/1 Warning: 4-th clause of visit1/3 true. ?- make. % /Users/timm/svns/wisp/var/timm/10/310/src/prolog/4/a/runiv.pl compiled 0.00 sec, 0 bytes % Scanning references for 5 possibly undefined predicates Warning: The predicates below are not defined. If these are defined Warning: at runtime using assert/1, use :- dynamic Name/Arity. Warning: Warning: visit/3, which is referenced by Warning: 1-st clause of demo1/1 Warning: 4-th clause of visit1/3 true. ?- make. % /Users/timm/svns/wisp/var/timm/10/310/src/prolog/4/a/runiv.pl compiled 0.00 sec, 12 bytes % Scanning references for 4 possibly undefined predicates true. ?- demo(1). 2+3 [functor= +, arity=2] 2 3 true. ?- op(X,fxf,N), N < 1000. ERROR: op/3: Arguments are not sufficiently instantiated ?-op(X,xfx,N), N < 1000. | | [forced] Action (h for help) ? Unknown option (h for help) [forced] Action (h for help) ? a abort ERROR: Execution Aborted % Execution Aborted ?- current_op(X,xfx,N), N < 1000. ERROR: