ch04ex04.pro

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

/*
   Turbo Prolog 2.0 Chapter 4, Example Program 4
   
   Copyright (c) 1986, 88 by Borland International, Inc
   
*/
   
predicates
   phone_number(symbol, symbol)

clauses
   phone_number("Albert", "EZY-3665").
   phone_number("Betty", "555-5233").
   phone_number("Carol", "909-1010").
   phone_number("Dorothy", "438-8400").