-
Notifications
You must be signed in to change notification settings - Fork 0
/
DCG1.txt
46 lines (33 loc) · 829 Bytes
/
DCG1.txt
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
antti@antti-HP-Compaq-dc7100-SFF-PE271ET:~/Prolog$ swipl
Welcome to SWI-Prolog (Multi-threaded, 32 bits, Version 7.2.3)
Copyright (c) 1990-2015 University of Amsterdam, VU 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).
?- ['DCG1.pro'].
true.
?- go.
|: Antti debugs the Acer.
PARSE SUCCESSFUL
true
?- go.
|: Antti yesterday debugged the Acer.
PARSE SUCCESSFUL
true
?- go.
|: Antti debugs the Froob.
false.
?- go.
|: The man sings.
PARSE SUCCESSFUL
true
?- go.
|: The man eats the apple.
PARSE SUCCESSFUL
true
?- go.
|: The man eats the computer.
false.
?- halt.
antti@antti-HP-Compaq-dc7100-SFF-PE271ET:~/Prolog$