Deutsch
Desktop
Home Page
Site Map
Login/out
Shopping Cart
Message Board
Download
Use
Privacy
(c) 2008-2020 XLOG Technologies GmbH
Site Map
Products
Runtime
Download
Documentation
Android
Contents
History
Introduction
Tours
Menus
File
Edit
Build
Window
Help
Actions
Console
Terminal
Non-Responding
Activation
Register
Information
Service
Email
Settings
Paths
Path
Capabilities
Capability
Terminal
Colour
Text
Language
Appendix
Swing
Contents
History
Introduction
Tours
Text
Path
Threads
Memory
Menus
File
Edit
Search
View
Run
Window
Help
Actions
Toolbar
Popup
Status
Look & Feel
Console
Terminal
Search
Non-Responding
Look & Feel
Activation
About
Register
Information
Service
Email
Settings
Path
Enlist
Terminal
Colours
Text
Language
Appendix
Text
hello.p
hello2.p
Path
Hello.java
Hello2.java
Threads
thread.p
Memory Low
fac.p
Language
Contents
History
Introduction
Examples
Animals
Primes
Money
Rabbits
Parallel
Conversations
Solution
Error
Consult
Interrupt
Compatibility
Syntax
Token
Filler
String
Word
Number
Line
Unicode
Compatibility
Term
Simple
Compound
List
Expression
Special
Compatibility
Text
Consult
Session
Compatibility
Definitions
Prolog
Predicate
Source
Operator
Thread
Callable
Theories
builtin
special
body
control
Optimization
Indexing
Sharing
Compatibility
runtime
meta
quali
logic
distributed
dynamic
session
Compatibility
arithmetic
eval
elem
round
bits
trigo
compare
ratio
Compatibility
structure
type
vars
lexical
univ
atom
bytes
Compatibility
reflect
pred
oper
source
foreign
stats
call
Compatibility
bootload
engine
toolkit
load
path
module
Compatibility
Appendix
Example 1
Example 2
Example 3
Example 4
Example 5
Acknowledge
Indexes
Core
Public
Package
Meta
Closure
Operator
Language
Public
Package
Meta
Closure
Operator
Android
Public
Package
Meta
Closure
Operator
Swing
Public
Package
Meta
Closure
Operator
Acronyms
References
Interface
Contents
History
Introduction
Examples
Call-in Table
Call-in Throw
Call-out Table
Mix Counter
Mix Limiter
Combiner
Concepts
Interpreter
Knowledge
Term
Special
Protocol
Foreign
term
Knowledge
AbstractTerm
TermAtomic
TermCompound
TermVar
call
CallIn
CallOut
Capability
Interpreter
Exception
Message
Toolkit
Headless
Library
Runtime
Package
Execution
Compiling
Running
Listing
Example 1
Example 2
Example 3
Example 4
Example 5
Example 7
Index
References
Installation
Contents
History
Introduction
Release 1.5
Release 1.5.0
Release 1.4
Release 1.4.7
Release 1.4.6
Release 1.4.5
Release 1.4.4
Release 1.4.3
Release 1.4.2
Release 1.4.1
Release 1.4.0
Release 1.3
Release 1.3.8
Release 1.3.7
Release 1.3.6
Release 1.3.5
Release 1.3.4
Release 1.3.3
Release 1.3.2
Release 1.3.1
Release 1.3.0
Release 1.2
Release 1.2.7
Release 1.2.6
Release 1.2.5
Release 1.2.4
Release 1.2.3
Release 1.2.2
Release 1.2.1
Release 1.1
Release 1.1.8
Release 1.1.7
Release 1.1.6
Release 1.1.5
Release 1.1.4
Release 1.1.3
Release 1.1.2
Release 1.1.1
Release 1.0
Release 1.0.10
Release 1.0.9
Release 1.0.8
Release 1.0.7
Release 1.0.6
Release 1.0.5
Release 1.0.4
Release 1.0.3
Release 1.0.1
Release 1.0.0
Release 0.9
Release 0.9.12
Release 0.9.11
Release 0.9.10
Release 0.9.9
Release 0.9.8
Release 0.9.7
Release 0.9.6
Release 0.9.5
Release 0.9.4
Release 0.9.3
Release 0.9.2
Release 0.9.1
Release 0.9.0
Release 0.8
Release 0.8.9
Release 0.8.8
Release 0.8.7
Release 0.8.6
Release 0.8.5
Release 0.8.4
Release 0.8.3
Library
Runtimes
Java 1.8
Java 9
Windows
MacOSX
Linux
Swing
Activation
Top-Level
Embedding
Discovery
System
Android
Activation
Top-Level
Embedding
Discovery
System
Web
Top-Level
System
Support
Documentation
Examples
Interpreter
Issues
Runtime
Installation
Compliance
Swing
Android
Web
Issues
Runtime
Installation
Compliance
Swing
Android
Web
References
Frequent
Contents
History
Introduction
Examples
Flag
Palindrome
Fruits
Typed
Conversations
Ensure
Make
Unload
Compatibility
Syntax
Term
Compatibility
Text
Grammar
Compatibility
Definitions
Prolog
Predicate
Stream
Operator
Thread
Theories
standard
apply
approx
expand
dcg
arith
sort
Compatibility
basic
lists
random
hyper
proxy
array
utility
score
Compatibility
advanced
signal
abstract
bags
sequence
aggregate
tabling
Compatibility
experiment
maps
ordmaps
sets
ordsets
ref
broker
simp
Compatibility
stream
char
byte
term
stream
console
xml
Compatibility
system
file
uri
group
thread
zone
locale
domain
Compatibility
misc
text
residue
lock
pipe
time
socket
cond
Compatibility
Appendix
Example 1
Example 2
Example 3
Example 4
Acknowledge
Indexes
Headless
Public
Package
Meta
Closure
Operator
Acronyms
References
Advanced
Contents
History
Introduction
Examples
Dispatch
Access
Default
Java
Loaded
Instances
State
Concepts
Pythoneks
Objects
Overriding
Reference
Virtual
Auto
Proxy
proxy
RuntimeWrap
Pivot
Listing
Example 1
Example 2
Example 3
Example 4
Example 5
Example 6
Example 7
Index
References
Studies
Benchmark
Contents
History
Introduction
Object
Memory
Resolution
Scope
Optimizations
Stack
Indexing
Extra
Structure
Strategies
Results
Stack
Indexing
Head
Interpreter
Results
ECLiPSe
SWI
GNU
Ciao
B-Prolog
Harness
Common
Jekejeke
ECLiPSe
SWI
GNU
Ciao
B-Prolog
Programs
nrev
crypt
deriv
poly
qsort
tictac
queens
query
mtak
perfect
calc
References
Deployment
Contents
History
Introduction
Terminal
Data
Flow
Query
Terminal
Uses
Standalone
Flow
Pane
Progess
Frame
Uses
Database
Driver
Statement
Stub
Uses
Artefacts
Terminal
Standalone
Database
References
DeployAndroid
Contents
History
Introduction
Prerequisites
Java
Android
Version
Mobile
Flow
Screens
Progess
Manifest
Uses
TV
Manifest
Uses
Artefacts
Mobile
TV
References
DeployWeb
Contents
History
Introduction
Prerequisites
Java
Web
Version
Servlet
Flow
Servlet
Data
Web
Uses
JSP
Flow
JSP
Uses
Shared
Flow
Parent
Child
Uses
Applet
Component
Page
Archive
Uses
Client
Flow
Client
Page2
Agent
Uses
Tomcat
Common
Configuration
Operation
Artefacts
Servlet
JSP
Shared
Applet
Client
References
Archive
Development
Download
Documentation
Android
Contents
History
Introduction
Tours
Menus
Debug
Window
Actions
Settings
Monitor
Appendix
Swing
Contents
History
Introduction
Tours
Menus
Debug
Window
Actions
Debug
Settings
Monitor
Appendix
Language
Contents
History
Introduction
Examples
Deterministic
Non-Deterministic
Advanced
Statistics
Conversations
Control
Callback
Ports
Prompt
Interrupt
Compatibility
Syntax
Definitions
Prolog
Thread
Predicate
Stream
Callable
Frame
Theories
debug
debug
default
friendly
dump
Compatibility
inspection
base
frame
provable
syntax
store
micro
Compatibility
testing
summary
runner
diagnose
result
tracker
cover
system
protocol
mode
automatic
attach
charsio
Compatibility
Appendix
Example 1
Example 2
Example 3
Indexes
Public
Package
Meta
Closure
Operator
References
Programming
Contents
History
Introduction
Examples
Port
Interaction
Relative
Thread
Uses
Memory
Interaction
Panel
Thread
Frame
Uses
Concepts
Instrumentation
Interfaces
Headless
Environment
Development
Appendix
Port
einstein
relative
RelativeAPI
thread
ThreadAPI
ThreadHeadless
Memory
memory
MemoryFrame
MemoryJob
MemoryPanel
ThreadFrame
Index
References
Installation
Contents
History
Introduction
Release 1.5
Release 1.5.0
Release 1.4
Release 1.4.7
Release 1.4.6
Release 1.4.5
Release 1.4.4
Release 1.4.3
Release 1.4.2
Release 1.4.0
Release 1.3
Release 1.3.8
Release 1.3.6
Release 1.3.4
Release 1.3.3
Release 1.3.2
Release 1.3.1
Release 1.3.0
Release 1.2
Release 1.2.7
Release 1.2.2
Release 1.1
Release 1.1.8
Release 1.1.7
Release 1.1.6
Release 1.1.5
Release 1.1.4
Release 1.1.3
Release 1.1.2
Release 1.1.1
Release 1.0
Release 1.0.9
Release 1.0.7
Release 1.0.6
Release 1.0.5
Release 1.0.4
Release 1.0.3
Release 1.0.1
Release 0.9
Release 0.9.12
Release 0.9.10
Release 0.9.9
Release 0.9.8
Release 0.9.7
Release 0.9.5
Release 0.9.4
Release 0.9.3
Release 0.9.2
Release 0.9.1
Release 0.9.0
Release 0.8
Release 0.8.9
Release 0.8.8
Release 0.8.7
Release 0.8.6
Release 0.8.5
Release 0.8.4
Release 0.8.3
Environment
Runtimes
Java 1.8
Java 9
Windows
Versions
Linux
Swing
Activation
Top-Level
Embedding
Discovery
System
Android
Activation
Top-Level
Embedding
Discovery
System
Support
Documentation
Example
Interpreter
Issues
References
Frequent
Contents
History
Introduction
Examples
Hello
Conversations
Main
Desktop
Mobile
Threads
Stack
Binding
Source
Syntax
Definitions
Prolog
Theories
container
http
monitor
server
misc
filter
Appendix
Hello
Indexes
Public
Package
Meta
Closure
Operator
References
Studies
Reference
Contents
History
Introduction
Discrepancies
Control
Visibility
Error
Clean-up
Simplify
Consult
Sealing
Arithmetic
Narrower
Broader
Structure
Array
Stream
Property
Omissions
Syntax
Predicate
Evaluable
Setup
Scope
Method
Sources
Harness
Cases
Summary
Results
arithmetic
basic
moddiv
sincos
bitwise
eqless
consult
file
data
apply
control
pred
kernel
logical
signal
extra
structure
regex
vars
block
intnum
ratnum
stream
text
binary
read
open
match
structure
intatom
compare
term
string
set
References
Frequent
Summary
Results
calculate
collection
near
collection
function
function
stable
near
stable
safe
extend
grammar
hiord
invoke
struct
codec
tabel
system
connect
load
rewrite
proxy
quali
Archive
Minlog
Download
Documentation
Android
Contents
History
Introduction
Tours
Menus
Actions
Main
Parent
Appendix
Swing
Contents
History
Introduction
Tours
Menus
Actions
Main
Parent
Appendix
Language
Contents
History
Introduction
Examples
Bonner's
Animals
Palindrom
Money
Solver
Conversations
Backward
Forward
Chart
Finite
Syntax
Definitions
Prolog
Predicate
Source
Atom
Theories
minimal
assume
hypo
delta
chart
chr
asp
term
herbrand
suspend
unify
verify
state
finite
linform
intset
clpb
reify
enum
Compatibility
boole
tree
clpb
pseudo
Compatibility
experiment
attr
trail
cont
elem
bits
Compatibility
Appendix
Example 1
Example 2
Example 3
Example 4
Example 5
Acknowledge
Indexes
Public
Package
Meta
Closure
Operator
References
Programming
Contents
History
Introduction
Examples
Concepts
Headless
Minlog
Appendix
Index
References
Installation
Contents
History
Introduction
Releases 1.1
Release 1.1.7
Release 1.1.6
Release 1.1.3
Release 1.1.1
Releases 1.0
Release 1.0.8
Release 1.0.6
Release 1.0.3
Release 1.0.0
Release 1.0.0
Releases 0.9
Release 0.9.5
Release 0.9.4
Release 0.9.3
Release 0.9.2
Release 0.9.1
Releases 0.8
Release 0.8.8
Release 0.8.7
Release 0.8.6
Release 0.8.5
Release 0.8.4
Release 0.8.3
Release 0.8.2
Release 0.8.1
Releases 0.7
Release 0.7.8
Release 0.7.8
Release 0.7.6
Release 0.7.5
Release 0.7.4
Release 0.7.3
Release 0.7.1
Releases 0.6
Release 0.6.6
Release 0.6.5
Release 0.6.4
Release 0.6.3
Release 0.6.2
Release 0.6
Release 0.5
Extension
Runtimes
Java 1.8
Java 9
Windows
MacOSX
Linux
Swing
Top-Level
Embedding
System
Android
Top-Level
Embedding
System
Support
Documentation
Examples
Interpreter
Issues
Extension
Installation
References
Frequent
Contents
History
Introduction
Examples
Conversations
Syntax
Definitions
Prolog
Predicate
Source
Atom
Theories
decimal
scale
arith
multi
poly
trigo
groebner
generic
integer
rational
variable
polynom
fraction
gauss
element
vector
matrice
ordered
ring
leibniz
subst
deriv
series
radical
Appendix
Indexes
Public
Package
Meta
Closure
Operator
References
Studies
Benchmark
Contents
History
Introduction
Object
Indexing
Forward
Attribute
Scope
Optimizations
Choice
Refer
Constant
Variable
Strategies
Results
Bound
Refer
Body
Stack
Interpreter
Results
GNU
B-Prolog
ECLiPSe
SWI
Ciao
Harness
Common
common.p
Jekejeke
jekejeke.p
GNU
gprolog.p
B-Prolog
bprolog.p
ECLiPSe
eclipse.p
SWI
swi.p
Ciao
ciao.p
Programs
grocery
pythago
queens
money
crypt
zebra
pigeon
Example
add
refer.p
add.p
addensure
referensure.p
addensure.p
References
Reference
Summary
Coverage
boole
clpb
tree
pseudo
experiment
elem
finite
clpfd
intset
linform
reify
enum
term
herbrand
suspend
verify
unify
state
Results
finite
linear
sets
special
bool
guard
search
sat
misc
bitprop
numtheo
term
delay
api
cross
Frequent
Summary
Coverage
decimal
helper
multi
poly
trigo
gauss
element
vector
matrice
ordered
ring
groebner
generic
integer
rational
variable
polynom
fraction
leibniz
subst
deriv
series
radical
Results
decimal
precision
addmul
expsin
gauss
onedim
exchstep
samebef
utilpoly
groebner
parteval
simplify
nonfrac
leibniz
varchange
autodiff
expansion
Archive
Examples
Runtime
Tutorial
Example 1
animals
Example 2
primes
Example 3
money
Example 4
both
cage
nest
Example 5
perfect
perfect2
Tutointer
Example 1
InTable
tablein
Example 2
InThrow
throwin
Example 3
OutTable
tableout
Example 4
OutInCount
countoutin
Example 5
OutInLimit
limitoutin
Example 6
Combine
data
Tutofreq
Example 1
flag
flag2
Example 2
palin
palin2
Example 3
fruit
fruit2
Example 4
typed
typed2
Benchmark
Compatibility
ciaosuite
gnusuite
gnuutil
gprolog
Galery
ideapad_bprolog
ideapad_ciao
ideapad_cxprolog
ideapad_eclipse
ideapad_gprolog
ideapad_jekejeke
ideapad_jiprolog
Ideapad Sicstus
ideapad_swi
ideapad_xsb
ideapad_yap
Galery2
huawei_jekejeke
ideapad_lpacmp
ideapad_lpaint
ideapad_sicscmp
ideapad_sicsint
mac13_jekejeke
mac16_jekejeke
mac19_jekejeke
mediapad_jekejeke
nvidia_jekejeke
sony_jekejeke
Harness
bprolog
ciao
eclipse
jekejeke
suite
swi
util
Tests
calc
crypt
deriv
mtak
nrev
perfect
poly
qsort
queens
query
tictac
Deployment
Terminal
Query
Terminal
table
Standalone
Pane
Standalone
Database
Database
StatementAPI
driver
insert
schema
DeployAndroid
res
drawable
deployandroid_banner
deployandroid_icon
values
strings
styles
src
Mobile
Adapter
AndroidManifest
Criterias
Query
Results
table
TV
AndroidManifest
DeployWeb
WEB-INF
web
ant
archive
example01
Data
Plain
Query
table
example02
form
example03
Child
Child2
Parent
table2
example04
Applet
Pane
page
example05
Client
Stub
agent
page2
tomcat
run
server
start
stop
Tutoadvan
Example 1
beagle
dog
rottweiler
Example 2
beagle
dog
rottweiler
Example 3
beagle
chihuahua
dog
rottweiler
Example 4
Beagle
Dog
Rottweiler
main
Example 5
Beagle
Dog
Rottweiler
Example 6
InterfaceDog
beagle
chihuahua
rottweiler
Example 7
InterfaceDog
beagle
rottweiler
Development
Examples
Example 1
rev
Example 2
data
Example 3
count
count2
Tutorial
Example 1
hello
piglet
Reference
Arithmetic
basic
bitwise
eqless
moddiv
sincos
Consult
apply
data
file
Control
kernel
logical
pred
signal
Extra
block
intnum
ratnum
regex
structure
vars
Harness
data
jekejeke
suite
Stream
binary
match
open
read
text
Structure
compare
intatom
set
string
term
Frequent
Calculate
collection
function
near
safe
stable
Extend
codec
grammar
hiord
invoke
struct
tabel
Harness
jekejeke
suite
System
connect
load
proxy
quali
rewrite
Tools
Emacs
init
prolog
Minlog
Tutorial
Example 1
grade
grade2
Example 2
animals3
Example 3
palin3
Example 4
money3
Example 5
domain
Example 7
golfer
riddle
BenchSAT
Galery
ideapad_jekejeke
ideapad_sicstus
ideapad_swi
Harness
jekejeke5
sicstus5
suite5
swi5
util
Binary
finsat
Tests
config
kitchen
magic
ortho
pigeon
primes
queens
BenchTerm
Compat
herbrand
herbrand2
herbrand3
Galery
ideapad_jekejeke
ideapad_sicstus
ideapad_sicstus3
ideapad_swi
Harness
jekejeke6
sicstus6
suite6
swi6
util
Tests
hilbert
insanity
Benchmark
Galery
ideapad_bprolog
ideapad_eclipse
ideapad_gprolog
ideapad_jekejeke
ideapad_sicstus
ideapad_swi
Harness
jekejeke4
sicstus4
suite4
swi4
util
Tests
crypt3
grocery3
money3
pigeon3
pythago3
queens3
wolfram3
zebra3
Compliance
Finite
bool
guard
linear
sat
search
sets
special
Harness
jekejeke
suite
Misc
bitprop
numtheo
Term
api
cross
delay
Compfreq
Decimal
addmul
expsin
precision
Gauss
exchstep
onedim
samebef
utilpoly
Groebner
nonfrac
parteval
simplify
Harness
jekejeke
suite
Leibniz
autodiff
expansion
varchange
Packages
Games
Wumpus
Basic
Page247
Wumpus
Icon
Low
Wumpus
High
Wumpus
Pack
Prolog
Console
Wumpus
Wumpus 1.0.0
Languages
Chat80
Icon
Low
Chat80
High
Chat80
Pack
Prolog
Chat80
Database
Aggreg
Border
Chatops
Cities
Contai
Countr
Ndtabl
Rivers
World0
Edinburgh
Natural
Clotab
Newdic
Newg
Ptree
Qplan
Scopes
Slots
Talkr
Templa
Xgrun
Preprocessor
Readin
Readme
Chat80 1.0.0
Roman
Icon
Low
Roman
High
Roman
Pack
Prolog
Roman
Roman 1.0.0
WordNet
Icon
Low
Wordnet
High
Wordnet
Pack
Prolog
Wordnet
Wordnet 1.0.0
Utilities
Basic DCG
Icon
Low
Dcg Basics
High
Dcg Basics
Pack
Prolog
Conversion
Dcg Basics
Unicode
Dcg Basics 1.0.0
Lambda
Icon
Low
Lambda
High
Lambda
Pack
Prolog
Lambda
Lambda 1.0.0
Development
Hello
Icon
Low
Hello
High
Hello
Pack
Prolog
Hello
Hello 1.0.0
99 Problems
Icon
Low
Remake99
High
Remake99
Pack
Remake99 1.0.0
Modules
Runtime
Kernel
Android
ForeignStatistics
TimeRecord
Gestalt
Platform
stats
Builtin
AbstractBranch
AbstractFlag
AbstractProperty
Branch
ChoiceAlter
ChoiceTrap
Flag
FlagSession
FlagThread
InterfaceInit
SpecialBody
SpecialControl
SpecialSpecial
body
control
Description
Kernel
special
Interpreter
AbstractChoice
AbstractDefined
AbstractDefinedMultifile
AbstractSpecial
ChoiceDefined
ChoiceDefinedMultifile
ChoiceInspect
ChoiceInspectMultifile
DefinedBlocking
DefinedBlockingMultifile
DefinedGroupLocal
DefinedLockfree
DefinedThreadLocal
Engine
EngineYield
LocalBlocking
LocalLockfree
Predicate
StackElement
Supervisor
Molec
AbstractCache
AbstractUndo
BindUniv
CacheFunctor
CacheModule
CachePackage
CachePredicate
CacheSubclass
CallFrame
Display
DisplayMarkable
EngineException
EngineMessage
OperatorSearch
SkelAtomQuali
SupervisorWrap
UndoCont
UndoSerno
Pretty
AbstractFile
AbstractLocator
AbstractSource
Foyer
LookupBase
MapTable
PrologReader
PrologReaderAnno
PrologWriter
PrologWriterAnno
ReadOpts
SkelAtomAnno
Store
StoreKey
StoreKeyQuali
WriteOpts
Rope
Bouquet
BouquetFront
Clause
Directive
Goal
Index
IndexFront
Intermediate
LoadForce
LoadOpts
Operator
Optimization
Resource
SkelVarOptimizable
Success
Swing
CommandLine
ForeignStatistics
TimeRecord
Gestalt
Platform
stats
Language
arithmetic
EvaluableBits
EvaluableCompare
EvaluableElem
EvaluableRound
SpecialCompare
SpecialEval
bits
compare
elem
eval
ratio
round
trigo
bootload
ForeignConcat
ForeignEngine
ForeignPath
ForeignToolkit
InitOpts
SpecialLoad
concat
engine
load
module
path
Reader
Reference
toolkit
reflect
PropertyCallable
PropertyOperator
PropertyPredicate
PropertySource
PropertyStream
SpecialCall
SpecialForeign
SpecialMember
SpecialOper
SpecialPred
SpecialSource
Api
call
foreign
member
oper
pred
source
runtime
EvaluableLogic
SpecialCollector
SpecialDynamic
SpecialLogic
SpecialSession
collector
distributed
dynamic
Engine
logic
meta
quali
Runtime
session
structure
AbstractLexical
AtomCursor
EngineVars
ForeignAtom
ForeignBytes
LexicalCallback
LexicalCollator
SpecialLexical
SpecialType
SpecialUniv
SpecialVars
atom
bytes
lexical
type
univ
vars
Frequent
advanced
ChoiceCleanup
ChoiceMask
ForeignPivot
ForeignRevolve
ForeignVariant
SpecialAbstract
SpecialSignal
VariantKey
abstract
aggregate
bags
pivot
revolve
sequence
signal
tabling
variant
basic
Counter
ForeignHyper
ForeignRandom
InterfaceProxyable
SpecialArray
SpecialProxy
SpecialScore
array
hyper
Info
lists
proxy
random
score
utility
experiment
InterfaceReference
SpecialRef
broker
maps
ordmaps
ordsets
ref
sets
simp
misc
ForeignCond
ForeignLock
ForeignPipe
ForeignResidue
ForeignSocket
ForeignText
ForeignTime
cond
lock
pipe
residue
socket
text
time
standard
ChoiceArith
ForeignApprox
SpecialApply
SpecialArith
SpecialExpand
SpecialSort
SupervisorCall
SupervisorCopy
apply
approx
arith
dcg
expand
sort
stream
ForeignByte
ForeignChar
ForeignConsole
ForeignStream
ForeignTerm
byte
char
console
Foreign
Frequent
stream
term
xml
system
ForeignDirectory
ForeignGroup
ForeignLocale
ForeignThread
ForeignZone
domain
file
group
locale
Show
thread
uri
zone
Tools
Array
AbstractDelegate
AbstractFactory
AbstractLense
AutoArray
FlagFactory
LenseDimension
LenseElement
LenseLength
LenseUpdate
PropertyPredicateAPI
PropertyStreamAPI
Types
Bundle
AirDrop
AirDropEntry
BranchSWI
CapabilitySWI
DescriptionSWI
RecognizerSWI
Call
AbstractAuto
CallIn
CallOut
Capability
Interpreter
InterpreterException
InterpreterMessage
Toolkit
Foreign
AbstractMember
AutoClass
ChoiceForeign
ChoiceSpecial
ChoiceVirtual
LookupBinary
LookupResource
MemberConstructor
MemberFieldGet
MemberFieldSet
MemberMethodDet
MemberMethodNondet
MemberSpecialDet
MemberSpecialNondet
MemberVirtualDet
MemberVirtualNondet
Score
Tracking
Proxy
AbstractExecutor
AbstractReflection
BranchAPI
CapabilityAPI
DescriptionAPI
ExecutorDefault
ExecutorInterface
InterfacePivot
ProxyExecutor
ProxyHandler
ProxyPivot
Reflection
RuntimeWrap
Term
AbstractSkel
AbstractTerm
Knowledgebase
PositionKey
SkelAtom
SkelCompound
SkelVar
TermAtomic
TermCompound
TermVar
Development
Kernel
Builtin
ClauseTrace
SupervisorTrace
Pretty
FoyerTrace
LocatorTrace
PositionMap
PredicateSet
SetTable
StoreTrace
Language
Debugger
DumpPrinter
DumpReport
FriendlyPrinter
FriendlyReport
PropertyTracePredicate
PropertyTraceStream
SpecialDefault
SpecialDump
SpecialFriendly
custom
Debug
default
dummy
dump
friendly
Reference
Inspection
ForeignBase
ForeignMicro
ForeignStore
PropertyTraceCallable
PropertyTraceFrame
PropertyTraceStore
SpecialFrame
SpecialProvable
SpecialSyntax
base
frame
micro
provable
store
syntax
System
ConnectionReaderTrace
ConnectionWriterTrace
SpecialAttach
SpecialMode
attach
automatic
charsio
mode
protocol
Trace
Testing
cover
diagnose
helper
result
runner
summary
Testing
tracker
Frequent
container
http
misc
filter
Frequent
monitor
AbstractFactoryTrace
FlagFactoryTrace
desktop
mobile
server
view
Minlog
Kernel
Builtin
FlagForward
Language
Boolean
clpb
pseudo
tree
Experimental
SpecialBits
SpecialCont
SupplementBits
SupplementElem
attr
bits
cont
dummy
elem
Minlog
Reference
trail
Finite
clpfd
enum
helper
intset
linform
reify
Minlog
asp
assume
chart
chr
delta
hypo
Term
herbrand
state
suspend
unify
verify
Frequent
Decimals
SpecialArith
SpecialHelper
SupplementScale
arith
helper
multi
poly
scale
trigo
Matrix
element
matrice
ordered
ring
vector
Polynomial
fraction
Frequent
generic
integer
polynom
rational
variable
Series
deriv
radical
series
subst
Utilities
Common
Config
AbstractBundle
AbstractDescription
AbstractFramework
AbstractInteractor
AbstractRecognizer
AbstractRuntime
ArrayEnumeration
DefaultBundle
DefaultInteractor
DefaultRecognizer
FileExtension
ForeignArchive
GestaltEntry
Memory
Intl
Data
AbstractAssoc
AbstractList
AbstractMap
AbstractSet
AssocArray
AssocSorted
HashScrambler
ListArray
ListSorted
MapEntry
MapHash
MapHashEntry
MapHashLink
MapHashLinkEntry
MapTree
MapTreeEntry
SetEntry
SetHash
SetHashEntry
SetHashLink
SetHashLinkEntry
SetTree
SetTreeEntry
Misc
Alarm
AlarmEntry
Bounded
InterfacePipe
Monitor
Nonescalable
NonescalableRead
NonescalableWrite
SetLink
SetLinkEntry
Unbounded
Unslotted
Regex
AbstractCompiler
AbstractPattern
AbstractSpecimen
CodeType
CompLang
CompilerSimple
IgnoreCase
Match
PatternInter
PatternUnion
ScannerError
ScannerToken
SpecimenSimple
Scanner
System
CacheBounded
ConnectionInput
ConnectionOutput
ConnectionReader
ConnectionWriter
ForeignCache
ForeignDomain
ForeignFile
ForeignUri
ForeignXml
MimeHeader
OpenCheck
OpenDuplex
OpenOpts
Wire
AbstractDomestic
AbstractLivestock
Fence
Interruptible
InterruptibleInput
InterruptibleOutput
LangProperties
LivestockEvent
LivestockEventClose
LivestockEventMemory
ManagedGroup
PropertiesWithImport
Swing
Swing
ExtensibleClassLoader
HotspotUsage
InterruptHandler
RuntimeHotspot
SwingGestalt
Android
Android
AndroidGestalt
DalvikUsage
InspectClassLoader
InterfaceURLs
NotificationListener
ResidualClassLoader
RuntimeDalvik
Personal
Account
Registration
Reset
Entries
Preferences
Password
E-Mail Address
Orders
Download
Details
Payments
Activations
Licenses
Distribution
Evaluation
Conditions
Website
Help
Search
Forum
Contact
Character
Paragraph
Legal
Use
Privacy
Account
Forum
Recent
Support
Object Oriented
Web Deployment
Using Media
Releases
Prolog 1.4.7
Prolog 1.4.6
Prolog 1.4.5
Prolog 1.4.4
Prolog 1.4.3
Prolog 1.4.2
Events
Emacs
Linux
Macintosh
Windows
Requests
Archive 2019
Support
Runtime GitHub
Hello New Year
OO Programs
Parallel Search
Releases
Prolog 1.4.1
Prolog 1.4.0
Prolog 1.3.8
Prolog 1.3.7
Prolog 1.3.6
Prolog 1.3.5
Prolog 1.3.4
Events
New Domicile
Archive 2018
Support
Google+ R.I.P.
Forum Separated
Releases
Prolog 1.3.3
Prolog 1.3.2
Prolog 1.3.1
Prolog 1.3.0
Prolog 1.2.7
Prolog 1.2.6
Events
Downtime
Archive 2017
Support
Pollux Index
simple division
Releases
Prolog 1.2.5
Prolog 1.2.4
Prolog 1.2.3
Prolog 1.2.2
Prolog 1.2.1
Prolog 1.1.8
Events
Server Up
Archive 2016
Support
Dmytro
path AOS?
Issuu
Releases
Prolog 1.1.7
Prolog 1.1.6
Prolog 1.1.5
Prolog 1.1.4
Prolog 1.1.3
Prolog 1.1.2
Prolog 1.1.1
Archive 2015
Support
optimizing
using packages
paths
Releases
Prolog 1.1.0
Prolog 1.0.9
Prolog 1.0.8
Prolog 1.0.7
Prolog 1.0.6
Prolog 1.0.5
Archive 2014
Support
Common Types
Domain Error
Java Objects
Read/1
android: cursor
Releases
Prolog 1.0.4
Minlog 0.7.3
Prolog 1.0.3
Prolog 1.0.2
Prolog 1.0.1
Prolog 1.0.0
Archive 2013
Support
Javascript
Reset Random
Stack Overflow
Predicate issue
Releases
Holidays 2013
Prolog 0.9.12
Minlog 0.6.6
Prolog 0.9.11
Minlog 0.6.5
Prolog 0.9.10
Prolog 0.9.9
Minlog 0.6.4
Prolog 0.9.8
Minlog 0.6.2
Prolog 0.9.7
Events
SGAICO 2013
TaCoS 2013
Archive 2012
Support
Twitter
Embedding
Custom CLP(*)
Android
Google+
Releases
Holidays 2012
Prolog 0.9.6
Prolog 0.9.5
Minlog 0.5
Prolog 0.9.4
Prolog 0.9.3
Prolog 0.9.2
Events
TaCoS 2012
Archive 2011
Support
SQL Example
Releases
Holidays 2011
Prolog 0.9.1
Prolog 0.9.0
Requests
Indexing
Blog
Jan Burse
2011
Templates
JSON XSLT
DCG Expansion
palin.p
desugar.p
Structured Data
Entity JSON
Expansion
squares.p
squares_ex.p
Agility
2010
ISO Prolog Core
Higher-Order
Cheat Sheet
2009
Installer
Steps
Screenshots
Historization
Refactoring
Development
Integration
Reuse
Description
Step
Project
Steps
Welcome
Download