(Prolog) char

Basic Standard domain for a character.

PREDICATES
  nondeterm isLetter(char)
CLAUSES
  isLetter(AnyChar) if 'a' <= AnyChar and AnyChar <= 'z'.
  isLetter(AnyChar) if 'A' <= AnyChar and AnyChar <= 'Z'.
  
GOAL
   isLetter('G').

'char' links

Code links

and
CLAUSES
if
GOAL
nondeterm
PREDICATES

last edited (October 24, 2006) by bilderbikkel, Number of views: 881, Current Rev: 3 (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.