(Prolog) domains

Prolog keyword specifying specific domains used.

  DOMAINS
  title = symbol
  author = symbol
  PREDICATES
  isWrittenBy(title,author)
  CLAUSES
  isWrittenBy("Winnie the Pooh","AA Milne").
  
  GOAL
  isWrittenBy("Winnie the Pooh",Author).

Compared to C++, it is similar to a typesafe typedef.

There are several built-in standard domains:

Basic Standard Domains

char
real
string
?symbol

Integral Standard Domains

?byte
?dword
?integer
?long
?sbyte
?short
?ulong
?unsigned
?ushort
?word

Binary Domain

?binary

Specially Handled Predefined Domains

?accessmode
?bgi_ilist
?bt_selector
?db_selector
?dbasedom
?denymode
?file
?place
?ref
?reg

last edited (November 18, 2006) by bilderbikkel, Number of views: 1300, Current Rev: 5 (Diff)

[Edit this page] [Page history] [What links here] [Discuss this topic] [Printer Friendly]

HELP
FAQ

Undefined Pages
Orphan Pages
Latest Pages
Notifications
Top Users

Contact Us
Link To Us

Programmers Heaven - for .NET, Java, C/C++ and WEB Developers!

© 1996-2008 Community Networks Ltd. All rights reserved. Reproduction in whole or in part, in any form or medium without express written permission is prohibited. Violators of this policy may be subject to legal action. Please read Terms Of Use and Privacy Statement for more information. Development by Tore Nestenius at .NET Consultant - Synchron Data.