ch22ex05.pro

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

/*
   Turbo Prolog 2.0 Chapter 22, Example Program 5
   
   Copyright (c) 1986, 88 by Borland International, Inc
   
*/
   
project "mypack"

global domains
   mydom = f(integer, char, real, string)

global predicates
   pack(integer, char, real, string, mydom) -(i,i,i,i,o) language c

goal
  pack(1, 'a', 99.9, "HELLO", X),
  write(X), nl.