PROLOG-REQUEST@SU-SCORE.ARPA (Chuck Restivo, The Moderator) (09/17/86)
PROLOG Digest Thursday, 18 Sep 1986 Volume 4 : Issue 51
Today's Topics:
Implementation - Forall X in P Q,
Announcement - HP Contest
----------------------------------------------------------------------
Date: Mon 15 Sep 86 19:56:41-PDT
From: Fernando Pereira <PEREIRA@SRI-CANDIDE.ARPA>
Subject: Forall X in P, Q
The standard solution for the for all problem suggested
by CONSUL is to use the logical equivalence
forall X in P, Q <=> not (exists X in P st. not Q)
and use negation as failure for the negations:
forall(X, P, Q) :- \+ (P, \+ Q).
This translation assumes that all free variables in Q are bound
by any call to P, and that \+ is the standard not-quite-sound
``negation'' of Edinburgh Prolog so that the unbound variables
in P are implicitly existentially quantified inside \+.
-- Fernando Pereira
------------------------------
Date: Tue, 16 Sep 86 12:37:15 pdt
From: hpfclp!hpai@hplabs.HP.COM
Subject: New HP contest
Hewlett-Packard
AI Programming Contest
Hewlett-Packard is sponsoring a programming contest to collect
symbolic computing and artificial intelligence software.
Submit your public domain programs by February 1, 1987 to be
considered for the following prizes:
First prize: One HP72445A computer (Vectra)
Second prize: One HP45711B computer (Portable Plus)
Third prize: One HP16C calculator (Computer Scientist)
Complete rules follow.
1. All entries must be programs of interest to the symbolic
computing or artificial intelligence communities. They must be
executable on HP9000 Series 300 computers running the HP-UX
operating system. This includes programs written in the Common
LISP, C, Pascal, FORTRAN, or shell script languages, or in any of
our third party AI software.
2. All entries must include source code, machine-readable
documentation, a test suite, and any special instructions
necessary to run the software. Entries may be submitted by
electronic mail or shipped on HP formatted 1/4" Certified Data
Cartridge tapes.
3. All entries must be in the public domain and must be
accompanied by an entry form signed by the contributor(s).
Entries must be sent on or before February 1, 1987.
4. Only residents of the U.S. may enter. HP employees and
their dependents are ineligible to receive prizes, but are
welcome to submit software. In the case of team entries, each
member of the team must be eligible. No duplicate prizes will be
awarded. Disposition of the prize is solely the responsibility
of the winning team.
5. Entries will be judged on the basis of originality, relevance
to our user community, complexity, completeness, and ease of use.
The date of receipt will be used as a tie-breaker. Decision of
the judges will be final.
6. HP cannot return tape cartridges.
7. Selected entries will be distributed by HP on an unsupported
software tape. This tape will be available from HP for a
distribution fee. The contributor(s) of each entry which is
selected for this tape will receive a complimentary copy.
To enter:
Print and complete the following entry form and mail it to:
AI Programming Contest M.S. 99
Hewlett-Packard
3404 E. Harmony Road
Fort Collins, CO 80525
Send your software on HP formatted 1/4"tape to the same address,
or send it via electronic mail to:
hplabs!hpfcla!aicontest or ihnp4!hpfcla!aicontest
_________________________________________________________________
Hewlett-Packard
AI Programming Contest
ENTRY FORM
See the accompanying contest rules. Please type or print. Mail
the completed form to:
AI Programming Contest M.S. 99
Hewlett-Packard
3404 E. Harmony Road
Fort Collins, CO 80525
Send your software on HP formatted 1/4"tape to the same address,
or send it via electronic mail to:
hplabs!hpfcla!aicontest or ihnp4!hpfcla!aicontest
PROGRAM TITLE:
BRIEF DESCRIPTION (75 word maximum):
CONFIGURATION REQUIREMENTS (both hardware and software):
SPECIAL INSTRUCTIONS:
_________________________________________________________________
Contributor(s)
Company (if applicable):
Telephone:
Address:
City: State: Zip:
Electronic mail address (starting with either hplabs or ihnp4):
This software is ( ) original
( ) ported from ____________________________ .
Are you the author of this software?
If not, please furnish the name, phone number, and addresses of
the author(s) as well.
Acknowledgment and Agreement
To the best of my knowledge, I have the right to contribute this
program material without breaching any obligation concerning
nondisclosure of proprietary or confidential information of other
persons or organizations. I am contributing this program
material on a nonconfidential nonobligatory basis to
Hewlett-Packard Company ("HP") for possible use on an unsupported
software tape, and I agree that HP may use, duplicate, modify,
publish, and sell the program material, and authorize others to
do so without obligation or liability of any kind. HP may
publish my name and address, as the contributor, to facilitate
user inquiries pertaining to this program material.
I ( ) am
( ) am not
an HP employee or the dependent of an HP employee.
Signature __________________________________ Date ____________
------------------------------
End of PROLOG Digest
********************