Category : Files from Magazines
Archive   : AIJUN87.ZIP
Filename : TOOL1.LTG
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 */
Very nice! Thank you for this wonderful archive. I wonder why I found it only now. Long live the BBS file archives!
This is so awesome! 😀 I’d be cool if you could download an entire archive of this at once, though.
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/