File: varlist.lgt

package info (click to toggle)
yap 5.1.1-3
  • links: PTS
  • area: main
  • in suites: lenny
  • size: 16,124 kB
  • ctags: 14,650
  • sloc: ansic: 122,796; perl: 22,545; sh: 3,768; java: 1,277; makefile: 1,191; xml: 739; tcl: 624; lisp: 142; awk: 9
file content (46 lines) | stat: -rw-r--r-- 622 bytes parent folder | download 
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
46
 

:- object(varlist,
	extends(list)).


	:- info([
		version is 1.0,
		author is 'Paulo Moura',
		date is 2000/7/24,
		comment is 'List of variables predicates.']).


	member(Element, [Head| _]) :-
		Element == Head.

	member(Element, [_| Tail]) :-
		member(Element, Tail).


	memberchk(Element, [Head| Tail]) :-
		Element == Head ->
			true
			;
			memberchk(Element, Tail).


	prefix([], _).

	prefix([Head1| Tail1], [Head2| Tail2]) :-
		Head1 == Head2,
		prefix(Tail1, Tail2).


	valid(List) :-
		nonvar(List),
		\+ \+ valid2(List).


	valid2([]).

	valid2([Head| Tail]) :-
		var(Head),
		valid2(Tail).


:- end_object.