Deutsch
Desktop
Home Page
Site Map
Login/out
Shopping Cart
Message Board
Download
Use
Privacy
(c) 2008-2019 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
Pound
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
Theories
Kernel
Special
Body
Control
Optimization
Indexing
Statistics
Compatibility
Runtime
Meta
Qualified
Logical
Distribution
Database
Session
Compatibility
Arithmetic
Domains
Elementary
Rounding
Bitwise
Trigonometric
Comparison
Compatibility
Structure
Type
Variables
Lexical
Building
Strings
Compatibility
Reflect
Definitions
Syntax
Source
Foreign
Compatibility
Bootload
Interpreter
Capability
Files
Path
Modules
Compatibility
Appendix
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
Mutex
Combiner
Queue
Concepts
Interpreter
Knowledge
Term
Special
Protocol
Foreign
Auto
Proxy
Supervision
Term
Knowledge
RuntimeWrap
Slots
AbstractTerm
TermAtomic
TermCompound
TermVar
Lobby
Call
Call-In
Call-Out
Capability
Controller
Interpreter
Exception
Message
Toolkit
Headless
Library
Runtime
Applet
Messages
Package
Appendix
Index
References
Installation
Contents
History
Introduction
Release 1.4
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
Swing
Versions
Activation
Top-Level
Embedding
Discovery
System
Android
Activation
Top-Level
Embedding
Discovery
System
Web
Applet
Script
System
Support
Documentation
Examples
Interpreter
Conversations
Activation
Registry
Issues
Runtime
Installation
Compliance
Swing
Android
Web
References
Frequent
Contents
History
Introduction
Examples
Flag
Palindrome
Fruits
Hello
Conversations
Ensure
Make
Unload
Compatibility
Syntax
Term
Compatibility
Text
Grammar
Compatibility
Definitions
Prolog
Predicate
Source
Operator
Thread
Theories
Standard
apply
bags
expand
dcg
Signal
Sort
Compatibility
Basic
lists
Random
Hyper
proxy
array
utility
score
Compatibility
Advanced
arith
sets
ordsets
sequence
aggregate
tabling
Compatibility
Experiment
maps
simp
abstract
ordmaps
ref
broker
Compatibility
Stream
Char IO
Byte IO
Term IO
Stream
Console
xml
Compatibility
System
file
uri
group
thread
zone
locale
domain
Compatibility
Miscellaneous
text
residue
lock
pipe
time
socket
http
Compatibility
Appendix
Acknowledge
Indexes
Headless
Public
Package
Meta
Closure
Operator
Acronyms
References
Studies
Benchmark
Contents
History
Introduction
Object
Memory
Resolution
Scope
Programs
nrev
crypt
deriv
poly
qsort
tictac
queens
query
mtak
perfect
perfect
calc
Optimizations
Choice
Indexing
Body
Stack
Head
Strategies
Results
Choice
Indexing
Body
Stack
Head
Interpreter
Results
ECLiPSe
SWI
GNU
Ciao
B-Prolog
Harness
Common
Jekejeke
ECLiPSe
SWI
GNU
Ciao
B-Prolog
References
Deployment
Contents
History
Introduction
Terminal
Data
Flow
Query
Terminal
Uses
Standalone
Flow
Pane
Progess
Frame
Uses
Applet
Class
HTML
Uses
Servlet
Flow
Data
HTML
Web
Uses
Client
Agent
Flow
Service
Stub
Frame
Uses
Database
Driver
Statement
Frame
Uses
Mobile
Flow
Screens
Progess
Manifest
Uses
Artefacts
Terminal
Standalone
Applet
Servlet
Client
Database
Mobile
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
Ports
Callback
Prompt
Interrupt
Compatibility
Syntax
Definitions
Prolog
Thread
Predicate
Source
Callable
Frame
Theories
Debug
Mode
Plugins
friendly
dump
Compatibility
Inspection
notation
Frame
Provable
Syntax
Store
micro
base
Compatibility
Testing
summary
runner
diagnose
result
tracker
cover
System
protocol
Mode
automatic
memory
charsio
attach
Compatibility
Notebook
model
serialize
transform
json
dict
func
Compatibility
Wire
monitor
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.4
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
Swing
Activation
Top-Level
Embedding
Discovery
System
Android
Activation
Top-Level
Embedding
Discovery
System
Support
Documentation
Example
Interpreter
Issues
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
stream
text
binary
read
open
structure
intatom
compare
term
string
set
References
Frequent
Summary
Results
extend
grammar
hiord
invoke
struct
codec
tabel
system
connect
load
notation
proxy
quali
rewrite
Frequent 2
Summary
Results
obsolete
tagged
taggeddot
untagged
untagged
untaggeddot
Archive
Minlog
Download
Documentation
Language
Contents
History
Introduction
Examples
Bonner's
Animals
Palindrom
Money
Solver
Inference
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
Integers
Sets
Comparison
Reification
Search
Boolean
Satisfaction
misc
elem
bits
struc
Compatibility
experiment
attr
trail
cont
Compatibility
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.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
Hotspot
Top-Level
Embedding
System
Dalvik
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
t.b.d.
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
finite
clpfd
intset
linform
reify
enum
clpb
tree
misc
elem
term
herbrand
suspend
verify
unify
state
Results
finite
linear
sets
special
bool
guard
search
sat
misc
bitprop
numtheo
term
delay
api
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
autodiff
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
Example 6
Basset
Dog
Tutointer
Example 1
InTable
Tablein
Example 2
InThrow
Throwin
Example 3
OutTable
Tableout
Example 4
OutInCount
Countoutin
Example 5
OutInLimit
Limitoutin
Example 6
Mutex
Mutexobj
Mutexobj2
Example 7
Combine
Data
Example 8
Counter
Queue
QueueEntry
Counter2
Queueobj
Queueobj2
Tutofreq
Example 1
Flag
Flag2
Example 2
Palin
Palin2
Example 3
Fruit
Fruit2
Example 4
Hello
Piglet
Benchmark
Compatibility
Ciaosuite
Gnusuite
Gnuutil
Gprolog
Galery
Ideapad Bprolog
Ideapad Ciao
Ideapad Eclipse
Ideapad Gprolog
Ideapad Jekejeke
Ideapad Jiprolog
Ideapad Sicstus
Ideapad Swi
Ideapad Xsb
Ideapad Yap
Galery2
Huawei 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
Benchdist
Compatibility
Swiclean
Swidistributed
Swisuite
Galery
Ideapad Jekejeke
Ideapad Jekejeke2
Ideapad Jekejeke3
Ideapad Jekejeke4
Ideapad Swi
Ideapad Swi2
Ideapad Swi3
Nvidia Jekejeke
Nvidia Jekejeke2
Sony Jekejeke
Sony Jekejeke2
Harness
Jekejeke
Suite
Swi
Util
Tests
Collatz
Pool
Queens3
Rand
Swicollatz
Swipool
Swiqueens3
Deployment
Terminal
Query
Terminal
Table
Standalone
Pane
Standalone
Applet
Applet
Page
Servlet
Data
Form
Web
Client
Client
Stub
Agent
Service
Database
Database
StatementAPI
Driver
Insert
Schema
Mobile
Adapter
AndroidManifest
Criterias
Data
Query
Results
Table
Development
Tutorial
Example 1
Rev
Example 2
Data
Example 4
Count
Count2
Reference
Arithmetic
Basic
Bitwise
Eqless
Moddiv
Sincos
Consult
Apply
Data
File
Control
Kernel
Logical
Pred
Signal
Extra
Regex
Structure
Vars
Harness
Data
Jekejeke
Suite
Stream
Binary
Open
Read
Text
Structure
Compare
Intatom
Set
String
Term
Frequent
Extend
Codec
Grammar
Hiord
Invoke
Struct
Tabel
Harness
Jekejeke
Suite
System
Connect
Load
Notation
Proxy
Quali
Rewrite
Frequent 2
Harness
Jekejeke
Suite
Obsolete
Tagged
Taggeddot
Untagged
Untaggeddot
Minlog
Tutorial
Example 1
Grade
Grade2
Example 2
Animals3
Example 3
Palin3
Example 4
Money3
Example 5
Domain
Example 6
Typed
Typed2
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 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
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
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
AbstractFlag
AbstractProperty
ChoiceAlter
ChoiceTrap
Flag
FlagThread
SpecialBody
SpecialControl
SpecialSpecial
Body
Control
Description
Kernel
Special
Interpreter
AbstractChoice
AbstractDefined
AbstractDefinedMultifile
AbstractSpecial
ChoiceDefined
ChoiceDefinedMultifile
ChoiceInspect
ChoiceInspectMultifile
DefinedBlocking
DefinedBlockingMulti
DefinedGroupLocal
DefinedLockfree
DefinedThreadLocal
Engine
EngineYield
LocalBlocking
LocalLockfree
Predicate
StackElement
Supervisor
Molec
AbstractCache
AbstractUndo
BindUniv
CacheFunctor
CacheModule
CachePackage
CachePredicate
CacheSubclass
CallFrame
Display
EngineException
EngineMessage
OperatorSearch
SkelAtomQuali
SupervisorWrap
UndoCont
UndoSerno
Pretty
AbstractFile
AbstractLocator
AbstractSource
Foyer
LookupBase
PrologReader
PrologReaderAnno
PrologWriter
PrologWriterAnno
ReadOpts
SkelAtomAnno
Store
StoreKey
WriteOpts
Rope
Bouquet
Clause
Directive
Goal
Index
InterfacePairs
InterfaceRope
Intermediate
LoadForce
LoadOpts
Operator
Optimization
PairsArray
PairsHash
RopeArray
RopeHash
Swing
CommandLine
ForeignStatistics
TimeRecord
Gestalt
Platform
Stats
Language
Arithmetic
EvaluableBits
EvaluableCompare
EvaluableElem
EvaluableRound
SpecialCompare
SpecialEval
Bits
Compare
Elem
Eval
Round
Trigo
Bootload
ForeignConcat
ForeignEngine
ForeignPath
ForeignToolkit
InitOpts
SpecialLoad
Concat
Engine
Load
Module
Path
Reader
Reference
Toolkit
Reflect
PropertyOperator
PropertyPredicate
PropertySource
SpecialForeign
SpecialMember
SpecialOper
SpecialPred
SpecialSource
Api
Foreign
Member
Oper
Pred
Source
Runtime
EvaluableQuali
SpecialDynamic
SpecialQuali
SpecialSession
Distributed
Dynamic
Engine
Logic
Meta
Quali
Runtime
Session
Structure
AtomCursor
EngineLexical
EngineVars
ForeignAtom
SpecialLexical
SpecialType
SpecialUniv
SpecialVars
Atom
Lexical
Type
Univ
Vars
Frequent
Advanced
ChoiceArith
ForeignAggregate
ForeignSequence
SpecialArith
VariantKey
Aggregate
Arith
Ordsets
Sequence
Sets
Tabling
Basic
Counter
ForeignHyper
ForeignRandom
InterfaceProxyable
SpecialProxy
SpecialScore
Array
Hyper
Info
Lists
Proxy
Random
Score
Utility
Experiment
InterfaceReference
SpecialRef
Abstract
Broker
Maps
Ordmaps
Ref
Simp
Miscellaneous
ForeignLock
ForeignPipe
ForeignResidue
ForeignSocket
ForeignText
ForeignTime
Http
Lock
Pipe
Residue
Socket
Text
Time
Standard
ChoiceAtomic
ChoiceCleanup
SpecialApply
SpecialFind
SpecialSignal
SpecialSort
SupervisorCall
SupervisorCopy
Apply
Bags
Dcg
Expand
Signal
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
LenseMember
LenseUpdate
PropertyPredicateAPI
Types
Bundle
AirDrop
AirDropEntry
BranchSWI
CapabilitySWI
RecognizerSWI
Call
AbstractAuto
ArrayEnumeration
CallIn
Capability
Controller
Interpreter
Toolkit
Foreign
AbstractMember
AutoClass
ChoiceForeign
LookupBinary
LookupResource
MemberConstant
MemberConstructor
MemberFieldGet
MemberFieldSet
MemberFunction
MemberMethodDet
MemberMethodNondet
Score
Tracking
Proxy
AbstractExecutor
AbstractReflection
BranchAPI
CapabilityAPI
ExecutorFunction
ExecutorMethod
InterfaceSlots
ProxyHandler
ProxyState
Reflection
RuntimeWrap
Term
AbstractSkel
AbstractTerm
Knowledgebase
Lobby
PositionKey
SkelAtom
SkelCompound
SkelVar
TermAtomic
TermCompound
TermVar
Development
Kernel
Pretty
FoyerTrace
LocatorTrace
PositionMap
PredicateSet
Language
Debugger
FriendlyPrinter
SpecialDefault
SpecialDump
SpecialFriendly
Custom
Debug
Default
Dummy
Dump
Friendly
Reference
Inspection
ForeignBase
ForeignMicro
ForeignStore
PropertyTraceFrame
PropertyTraceStore
SpecialFrame
SpecialNotation
SpecialProvable
SpecialSyntax
Base
Frame
Micro
Notation
Provable
Store
Syntax
Notebook
ForeignModel
ForeignSerialize
ForeignTransform
SerializeOpts
TransformOpts
Dict
Directives
Func
Json
Model
Serialize
Transform
System
ForeignMemory
ForeignProtocol
ProtocolReader
ProtocolWriter
SpecialAttach
SpecialMode
Attach
Automatic
Charsio
Memory
Mode
Protocol
Trace
Testing
Cover
Diagnose
Helper
Result
Runner
Summary
Testing
Tracker
Wire
AbstractFactoryTrace
FlagFactoryTrace
Control
Desktop
Mobile
Monitor
View
Minlog
Kernel
Builtin
FlagForward
Language
Experimental
SpecialCont
Attr
Cont
Dummy
Minlog
Trail
Finite
Clpb
Clpfd
Enum
Helper
Intset
Linform
Reify
Tree
Minlog
Asp
Assume
Chart
Chr
Delta
Hypo
Miscellaneous
SpecialBits
SpecialElem
SpecialStruc
SupplementBits
SupplementElem
Bits
Elem
Struc
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
Generic
Integer
Polynom
Rational
Variable
Series
Deriv
Radical
Series
Subst
Utilities
Common
Config
AbstractBundle
AbstractFramework
AbstractRecognizer
AbstractRuntime
DefaultBundle
DefaultRecognizer
FileExtension
ForeignArchive
GestaltEntry
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
Chunked
ChunkedInput
ChunkedOutput
Framed
FramedInput
FramedOutput
InterfacePipe
Nonescalable
NonescalableRead
NonescalableWrite
Queue
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
MapHashLinkWithImport
MapHashWithImport
PropertiesWithImport
StyleAttribute
Preset
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
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
Requests
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