Category : Files from Magazines
Archive   : AIJUN87.ZIP
Filename : TOOL1.LTG

 
Output of file : TOOL1.LTG contained in archive : AIJUN87.ZIP
EXPERTS TOOLBOX LISTING 1

domains
/* There are several 'primitive' domains: */
/* char, integer, real, symbol, string, and file. */
/* New domain types can be declared in the "domains" */
/* section of a program. Like this: */

book = book(title,author)
library = library(libname,city)
author = author(firstname,lastname)
person = person(firstname,lastname)
title, firstname, lastname, libname, city = symbol

predicates
/* Now, here in the "predicates" section, we can specify */
/* the domains of the arguments of a predicate. */
owns(library,book)
read(person,book)

clauses
/* The above declarations are used by Turbo PROLOG to */
/* guard against domain violations. For example, the */
/* following clauses, which would be perfectly acceptable */
/* in most PROLOG implementations, would raise an error in TPro: */
book(lispcraft,18). /* author can't be an integer */
read(author(twain,mark),lispcraft) /* first arg must be a person */





  3 Responses to “Category : Files from Magazines
Archive   : AIJUN87.ZIP
Filename : TOOL1.LTG

  1. Very nice! Thank you for this wonderful archive. I wonder why I found it only now. Long live the BBS file archives!

  2. This is so awesome! 😀 I’d be cool if you could download an entire archive of this at once, though.

  3. But one thing that puzzles me is the “mtswslnkmcjklsdlsbdmMICROSOFT” string. There is an article about it here. It is definitely worth a read: http://www.os2museum.com/wp/mtswslnk/