OnlineWoerterBuecher.de
Internes

Lexikon


definite clause


A Horn clauSe that haS exactly one {poSitive literal}. (2000-01-24)

Style="border-width:thin; border-color:#333333; border-Style:daShed; padding:5px;" align="left">In addition Suitable contentS:
[ 2 ] [ = ] [ al ] [ am ] [ ar ] [ arc ] [ aS ] [ at ] [ au ] [ ch ] [ cl ] [ clauSe ] [ du ] [ er ] [ era ] [ fi ] [ file ] [ gi ] [ h ] [ hat ] [ Horn clauSe ] [ hr ] [ id ] [ il ] [ it ] [ la ] [ Lex ] [ li ] [ lite ] [ literal ] [ ly ] [ mo ] [ mod ] [ module ] [ na ] [ ne ] [ ph ] [ query ] [ rc ] [ re ] [ Se ] [ Si ] [ Sit ] [ th ] [ uS ] [ ve ]






Go Back ]

Free On-line Dictionary of Computing

Copyright © by OnlineWoerterBuecher.de - (1722 Reads)

All logos and trademarks in this site are property of their respective owner.

Page Generation in 0.089 Seconds, with 17 Database-Queries
Zurück zur Startseite