ch12ex02.pro

prolog,人工智能推理程序,运行环境prolog

/*
   Turbo Prolog 2.0 Chapter 12, Example Program 2
   
   Copyright (c) 1986, 88 by Borland International, Inc
   
*/
   
domains
   integerlist = integer*

predicates
   writelist(integerlist)
   write5(integerlist, integer)

clauses
   writelist(NL ) :- nl, write5(NL, 0 ), nl.
   write5(TL, 5 ) :- !, nl, write5(TL, 0).
   write5([H|T], N ) :- !,  write(H," "), N1=N+1, write5(T, N1).
   write5([], _ ).