English Desktop

home

site

Seitenübersicht

user

basket

message

download

Nutzung Datenschutz

(c) 2008-2018 XLOG Technologies GmbH

Seitenübersicht

Herunterladen

Dokumentation

Introduction

File
Edit
Build
Window
Help

Terminal
Non-Responding

Register
Information
Service
Email

Paths
Path
Capabilities
Capability
Terminal
Colour
Text
Language

Introduction

Text
Path
Threads
Memory

File
Edit
Search
View
Run
Window
Help

Toolbar
Popup
Status
Look & Feel

Terminal
Search
Non-Responding
Look & Feel

About
Register
Information
Service
Email

Path
Enlist
Terminal
Colours
Text
Language

hello.p
hello2.p

Hello.java
Hello2.java

thread.p

fac.p

Introduction

Animals
Primes
Money
Rabbits
Parallel
Pound

Conversations

Solution
Error
Consult
Interrupt
Compatibility

Filler
String
Word
Number
Line
Unicode
Compatibility

Simple
Compound
List
Expression
Special
Compatibility

Consult
Session
Compatibility

Definitions

Prolog
Predicate
Source
Operator

Special
Body
Control
Optimization
Indexing
Statistics
Compatibility

Meta
Qualified
Logical
Distribution
Database
Session
Compatibility

Domains
Elementary
Rounding
Bitwise
Trigonometric
Comparison
Compatibility

Type
Variables
Lexical
Building
Strings
Compatibility

Definitions
Syntax
Source
Foreign
Compatibility

Interpreter
Capability
Files
Path
Modules
Compatibility

Acknowledge

Öffentlich
Zum Paket
Meta
Closure
Operator

Öffentlich
Zum Paket
Meta
Closure
Operator

Öffentlich
Zum Paket
Meta
Closure
Operator

Öffentlich
Zum Paket
Meta
Closure
Operator

Introduction

Call-in Table
Call-in Throw
Call-out Table
Mix Counter
Mix Limiter
Mutex
Combiner
Queue

Interpreter
Knowledge
Term
Special
Protocol
Foreign
Auto
Proxy
Supervision

Knowledge
RuntimeWrap
Slots
AbstractTerm
TermAtomic
TermCompound
TermVar
Lobby

Call-In
Call-Out
Capability
Controller
Interpreter
Exception
Message
Toolkit

Library
Runtime
AsterixApplet
Messages

Installation

Introduction

Release 1.3

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

Activation
Top-Level
Embedding
Discovery
System

Activation
Top-Level
Embedding
Discovery
System

Applet
Script
System

Documentation
Examples
Interpreter

Conversations

Activation
Registry

Runtime
Installation
Compliance
Swing
Android
Web

Introduction

Flag
Palindrome
Fruits
Hello

Conversations

Ensure
Make
Unload
Compatibility

Compatibility

Grammar
Compatibility

Definitions

Prolog
Predicate
Source

apply
bags
expand
dcg
Signal
Sort
Compatibility

lists
Random
Hyper
proxy
array
utility
score
Compatibility

arith
sets
ordsets
sequence
dict
func
json
Compatibility

maps
simp
abstract
ordmaps
ref
surrogate
Compatibility

Char IO
Byte IO
Term IO
Stream
Console
xml
Compatibility

file
uri
group
thread
zone
locale
domain
Compatibility

Miscellaneous

text
residue
lock
pipe
time
socket
http
Compatibility

Acknowledge

Öffentlich
Zum Paket
Meta
Closure
Operator

Introduction

Memory
Resolution
Scope

nrev
crypt
deriv
poly
qsort
tictac
queens
query
mtak
perfect
calc

Optimizations

Choice
Indexing
Body
Stack
Head

Results
Choice
Indexing
Body
Stack
Head

Interpreter

Results
ECLiPSe
SWI
GNU
Ciao
B-Prolog

Common
Jekejeke
ECLiPSe
SWI
GNU
Ciao
B-Prolog

Introduction

Data
Flow
Query
Terminal
Uses

Flow
Pane
Progess
Frame
Uses

Class
HTML
Uses

Flow
Data
HTML
Web
Uses

Agent
Flow
Service
Stub
Frame
Uses

Driver
Statement
Frame
Uses

Flow
Screens
Progess
Manifest
Uses

Terminal
Standalone
Applet
Servlet
Client
Database
Mobile

Entwicklung

Herunterladen

Dokumentation

Introduction

Debug
Window

Monitor

Introduction

Debug
Window

Debug

Monitor

Introduction

Deterministic
Non-Deterministic
Advanced
Statistics

Conversations

Control
Ports
Callback
Prompt
Interrupt
Compatibility

Definitions

Prolog
Thread
Predicate
Source
Callable
Frame

Mode
Plugins
friendly
dump
Compatibility

notation
Frame
Provable
Syntax
Compatibility

summary
runner
diagnose
result
tracker
cover

protocol
Mode
automatic
memory
charsio
attach
Compatibility

model
serialize
transform

monitor

Öffentlich
Zum Paket
Meta
Closure
Operator

Programming

Introduction

Interaction
Relative
Thread
Uses

Interaction
Panel
Thread
Frame
Uses

Instrumentation
Interfaces

Environment
Development

einstein
relative
RelativeAPI
thread
ThreadAPI
ThreadHeadless

memory
MemoryFrame
MemoryJob
MemoryPanel
ThreadFrame

Installation

Introduction

Release 1.3

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

Activation
Top-Level
Embedding
Discovery
System

Activation
Top-Level
Embedding
Discovery
System

Documentation
Example
Interpreter

Introduction

Discrepancies

Visibility
Error
Clean-up
Simplify

Sealing

Narrower
Broader

Array

Property

Syntax
Predicate
Evaluable

Scope
Method
Sources
Harness
Cases

Zusammenfassung

basic
moddiv
sincos
bitwise
eqless

file
data
apply

pred
kernel
logical
signal

structure
regex
vars

text
binary
read
open

intatom
compare
term
string
set

Zusammenfassung

grammar
hiord
invoke
struct
codec

connect
load
notation
proxy
quali

Herunterladen

Dokumentation

Introduction

Bonner's
Animals
Palindrom
Money
Solver
Inference

Conversations

Backward
Forward
Chart
Finite

Definitions

Prolog
Predicate
Source
Atom

assume
hypo
delta
chart
chr
asp

herbrand
suspend
unify
verify
state

Integers
Sets
Comparison
Reification
Search
Boolean
Satisfaction

elem
bits
struc
aggregate
Compatibility

attr
trail
cont
Compatibility

Acknowledge

Öffentlich
Zum Paket
Meta
Closure
Operator

Programming

Introduction

Minlog

Installation

Introduction

Releases 1.0

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

Top-Level
Embedding
System

Top-Level
Embedding
System

Documentation
Examples
Interpreter

Extension
Installation

Introduction

Conversations

Definitions

Prolog
Predicate
Source
Atom

scale
arith
multi
poly
trigo

generic
integer
rational
variable
polynom
fraction

element
vector
matrice
ordered
ring

subst
deriv
series
radical

Öffentlich
Zum Paket
Meta
Closure
Operator

Introduction

Indexing
Forward
Attribute
Scope

Optimizations

Bound
Refer
Constant
Variable

Results
Bound
Refer
Body
Stack

Interpreter

Results
GNU
B-Prolog
ECLiPSe
SWI
Ciao

common.p

jekejeke.p

gprolog.p

bprolog.p

eclipse.p

swi.p

ciao.p

grocery
pythago
queens
money
crypt
zebra
pigeon

refer.p
add.p

referensure.p
addensure.p

Zusammenfassung

Überdeckung

clpfd
intset
linform
reify
enum
clpb
tree

elem

herbrand
suspend
verify
unify
state

linear
sets
special
bool
guard
search
sat

bitprop
numtheo

delay
api

Zusammenfassung

Überdeckung

helper
multi
poly
trigo

element
vector
matrice
ordered
ring

generic
integer
rational
variable
polynom
fraction

subst
deriv
series
radical

precision
addmul
expsin

onedim
exchstep
samebef
utilpoly

parteval
simplify
nonfrac

varchange
autodiff
expansion

Animals

Primes

Money

Cage
Nest

Perfect

Basset
Dog

InTable
Tablein

InThrow
Throwin

OutTable
Tableout

OutInCount
Countoutin

OutInLimit
Limitoutin

Mutex
Mutexobj
Mutexobj2

Combine
Data

Counter
Queue
QueueEntry
Counter2
Queueobj
Queueobj2

Flag
Flag2

Palin
Palin2

Fruit
Fruit2

Hello
Piglet

Kompatibilität

Ciaosuite
Gnusuite
Gnuutil
Gprolog

Ideapad Bprolog
Ideapad Ciao
Ideapad Eclipse
Ideapad Gprolog
Ideapad Jekejeke
Ideapad Jiprolog
Ideapad Sicstus
Ideapad Swi
Ideapad Xsb
Ideapad Yap

Huawei Jekejeke
Mediapad Jekejeke
Nvidia Jekejeke
Sony Jekejeke

Bprolog
Ciao
Eclipse
Jekejeke
Suite
Swi
Util

Calc
Crypt
Deriv
Mtak
Nrev
Perfect
Poly
Qsort
Queens
Query
Tictac

Kompatibilität

Swiclean
Swidistributed
Swisuite

Ideapad Jekejeke
Ideapad Jekejeke2
Ideapad Jekejeke3
Ideapad Jekejeke4
Ideapad Swi
Ideapad Swi2
Ideapad Swi3
Nvidia Jekejeke
Nvidia Jekejeke2
Sony Jekejeke
Sony Jekejeke2

Jekejeke
Suite
Swi
Util

Collatz
Pool
Queens3
Rand
Swicollatz
Swipool
Swiqueens3

Query
Terminal
Table

Pane
Standalone

Applet
Page

Data
Form
Web

Client
Stub
Agent
Service

Database
StatementAPI
Driver
Insert
Schema

Adapter
AndroidManifest
Criterias
Data
Query
Results
Table

Entwicklungs

Rev

Data

Count
Count2

Basic
Bitwise
Eqless
Moddiv
Sincos

Apply
Data
File

Kernel
Logical
Pred
Signal

Regex
Structure
Vars

Data
Jekejeke
Suite

Binary
Open
Read
Text

Compare
Intatom
Set
String
Term

Codec
Grammar
Hiord
Invoke
Struct

Connect
Load
Notation
Proxy
Quali

Grade
Grade2

Animals3

Palin3

Money3

Domain

Typed
Typed2

Golfer
Riddle

Ideapad Bprolog
Ideapad Eclipse
Ideapad Gprolog
Ideapad Jekejeke
Ideapad Swi

Jekejeke4
Suite4
Util

Crypt3
Grocery3
Money3
Pigeon3
Pythago3
Queens3
Zebra3

Bool
Guard
Linear
Sat
Search
Sets
Special

Jekejeke
Suite

Bitprop
Numtheo

Api
Delay

Addmul
Expsin
Precision

Exchstep
Onedim
Samebef
Utilpoly

Nonfrac
Parteval
Simplify

Jekejeke
Suite

Autodiff
Expansion
Varchange

ForeignStatistics
TimeRecord
Gestalt
Stats

AbstractFlag
AbstractProperty
Flag
FlagThread
SpecialBody
SpecialControl
SpecialSpecial
Body
Control
Special

Interpreter

AbstractDefined
AbstractDefinedMultifile
AbstractSpecial
DefinedBlocking
DefinedBlockingMulti
DefinedGroupLocal
DefinedLockfree
DefinedThreadLocal
Engine
EngineYield
InterfaceStack
LocalBlocking
LocalLockfree
StackElement
Supervisor

AbstractCache
CacheFunctor
CacheModule
CachePackage
CachePredicate
CacheSubclass
Display
DisplayClause
EngineException
EngineMessage
EngineWrap
OperatorSearch
SkelAtomQuali

AbstractFile
AbstractSource
Foyer
LookupBase
NamedDistance
PrologReader
PrologWriter
PrologWriterAnno
ReadOpts
SkelAtomAnno
WriteOpts

Clause
Goal
Index
InterfacePairs
InterfaceRope
Intermediate
LoadForce
LoadOpts
PairsArray
PairsHash
RopeArray
RopeHash

CommandLine
ForeignStatistics
TimeRecord
Gestalt
Stats

EvaluableBits
EvaluableCompare
EvaluableElem
EvaluableRound
SpecialCompare
SpecialEval
Bits
Compare
Elem
Eval
Round
Trigo

ForeignConcat
ForeignEngine
ForeignPath
ForeignToolkit
InitOpts
SpecialLoad
Concat
Engine
Load
Module
Path
Reader
Toolkit

SpecialForeign
SpecialMember
SpecialOper
SpecialPred
Api
Foreign
Member
Oper
Pred
Source

EvaluableQuali
SpecialDynamic
SpecialLogic
SpecialQuali
SpecialSession
Distributed
Dynamic
Engine
Logic
Meta
Quali
Runtime
Session

AtomCursor
EngineLexical
EngineVars
ForeignAtom
SpecialLexical
SpecialType
SpecialUniv
SpecialVars
Atom
Lexical
Type
Univ
Vars

Fortgeschritten

ChoiceArith
SpecialArith
Arith
Dict
Func
Json
Ordsets
Sequence
Sets

Counter
ForeignHyper
ForeignRandom
InterfaceProxyable
SpecialProxy
SpecialScore
Array
Hyper
Info
Lists
Proxy
Random
Score
Utility

InterfaceReference
SpecialRef
Abstract
Maps
Ordmaps
Ref
Simp
Surrogate

Miscellaneous

ForeignPipe
ForeignSocket
ForeignText
ForeignTime
Http
Lock
Pipe
Residue
Socket
Text
Time

EngineCopy
SpecialApply
SpecialFind
SpecialSort
Apply
Bags
Dcg
Expand
Signal
Sort

ForeignByte
ForeignChar
ForeignConsole
ForeignStream
ForeignTerm
Byte
Char
Console
Foreign
Stream
Term
Xml

ForeignDirectory
ForeignGroup
ForeignLocale
ForeignThread
ForeignZone
Domain
File
Group
Locale
Show
Thread
Uri
Zone

AbstractDelegate
AbstractFactory
AbstractLense
AutoArray
FlagFactory
LenseDimension
LenseElement
LenseLength
LenseMember
LenseUpdate
Types

AbstractAuto
ArrayEnumeration
CallIn
Controller
Interpreter
Toolkit

AbstractMember
AutoClass
ChoiceForeign
LookupBinary
LookupResource
MemberConstant
MemberConstructor
MemberFieldGet
MemberFieldSet
MemberFunction
MemberMethodDet
MemberMethodNondet
Score

AbstractExecutor
AbstractReflection
ExecutorFunction
ExecutorMethod
InterfaceSlots
ProxyHandler
ProxyState
Reflection
RuntimeWrap

AbstractSkel
AbstractTerm
Knowledgebase
Lobby
PositionKey
SkelAtom
SkelCompound
SkelVar
TermAtomic
TermCompound
TermVar

Entwicklungs

FlagTrace
FlagTraceThread
PropertyTraceStore
SupervisorTrace

FoyerTrace

SpecialDefault
SpecialDump
SpecialFriendly
Custom
Debug
Default
Dummy
Dump
Friendly

SpecialFrame
SpecialNotation
SpecialProvable
SpecialSyntax
Frame
Notation
Provable
Syntax

ForeignModel
ForeignSerialize
ForeignTransform
SerializeOpts
TransformOpts
Directives
Model
Serialize
Transform

ForeignMemory
ForeignProtocol
ProtocolReader
ProtocolWriter
SpecialAttach
SpecialMode
Attach
Automatic
Charsio
Memory
Mode
Protocol
Trace

Cover
Diagnose
Helper
Result
Runner
Summary
Testing
Tracker

Control
Desktop
Mobile
Monitor
View

FlagForward

Attr
Cont
Dummy
Minlog
Trail

Clpb
Clpfd
Enum
Helper
Intset
Linform
Reify
Tree

Asp
Assume
Chart
Chr
Delta
Hypo

Verschiedene

SpecialBits
SpecialElem
SpecialStruc
SupplementBits
SupplementElem
Aggregate
Bits
Elem
Struc

Herbrand
State
Suspend
Unify
Verify

SpecialArith
SpecialHelper
SupplementScale
Arith
Helper
Multi
Poly
Scale
Trigo

Element
Matrice
Ordered
Ring
Vector

Fraction
Generic
Integer
Polynom
Rational
Variable

Deriv
Radical
Series
Subst

AbstractAssoc
AbstractList
AbstractMap
AbstractSet
AssocArray
HashScrambler
ListArray
ListSorted
MapEntry
MapHash
MapHashEntry
MapHashLink
MapHashLinkEntry
MapTree
MapTreeEntry
SetEntry
SetHash
SetHashEntry
SetHashLink
SetHashLinkEntry
SetTree
SetTreeEntry

AbstractDom
AbstractReader
AbstractWriter
ChoicePoint
DomElement
DomText
XAction
XActionFunc
XActionFuncAggr
XActionFuncUpdate
XPath
XPathExpr
XPathExprComb
XPathExprPrim
XPathOrder
XSelect
XSelectComb
XSelectPrim
XmlAcceptor
XmlMachine
XmlMachineRange
XmlScanner
Dom

AbstractLock
AbstractPair
AbstractPipe
Alarm
AlarmEntry
Chunked
ChunkedInput
ChunkedOutput
Framed
FramedInput
FramedOutput
Lock
LockRead
LockWrite
Mutex
Nonescalable
NonescalableRead
NonescalableWrite
Queue
Unbounded
Unslotted

AbstractCompiler
AbstractPattern
AbstractSpecimen
CodeType
CompLang
CompilerSimple
IgnoreCase
Match
PatternInter
PatternUnion
ScannerError
ScannerToken
SpecimenSimple
Scanner

AbstractDecoder
AbstractRecognizer
AbstractRuntime
CacheBounded
ConnectionInput
ConnectionOutput
ConnectionReader
ConnectionWriter
FileExtension
ForeignCache
ForeignDomain
ForeignFile
ForeignUri
ForeignXml
MimeHeader
OpenCheck
OpenDuplex
OpenOpts

InterfaceFunc
InterfacePath
ValidationError
XMLCheck
XPathCheck
XPathRead
XPathReadCheck
XPathReadTransform
XSDDecl
XSDDeclAttr
XSDDeclElem
XSDResolver
XSDSchema
XSLSheet
XSLSheetCheck
XSLSheetTransform
XmlReader
XmlWriter
Schema
Sheet
Template

AbstractDomestic
AbstractLivestock
Fence
Interruptible
InterruptibleInput
InterruptibleOutput
JsonReader
JsonWriter
LangProperties
LivestockEvent
LivestockEventClose
LivestockEventMemory
MapHashLinkWithImport
MapHashWithImport
PropertiesWithImport
StyleAttribute
XSelectFormat
Preset

HotspotUsage
InterruptHandler
RuntimeHotspot

DalvikUsage
InspectClassLoader
InterfaceURLs
NotificationListener
ResidualClassLoader
RuntimeDalvik

Persönlich

Registrieren
Rücksetzen
Einträge
Einstellungen
Passwort
E-Mail-Adresse

Bestellungen

Herunterladen
Details
Zahlungen
Aktivierungen

Verteilung
Evaluation
Bedingungen

Suche
Forum
Kontakt
Zeichen
Abschnitt

Rechtliches

Nutzung
Datenschutz
Konto

Unterstützung

Google+ R.I.P.
Forum Geteilt

Erscheinungen

Prolog 1.3.4
Prolog 1.3.3
Prolog 1.3.2
Prolog 1.3.1
Prolog 1.3.0
Prolog 1.2.7
Prolog 1.2.6

Veranstaltungen

Ausfallzeit
Server läuft

Archiv 2017

Unterstützung

Pollux Index

Erscheinungen

Prolog 1.2.5
Prolog 1.2.4
Prolog 1.2.3
Prolog 1.2.2
Prolog 1.2.1
Prolog 1.1.8

Archiv 2016

Unterstützung

Issuu

Erscheinungen

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

Archiv 2015

Unterstützung

Erscheinungen

Prolog 1.1.0
Prolog 1.0.9
Prolog 1.0.8
Prolog 1.0.7
Prolog 1.0.6
Prolog 1.0.5

Archiv 2014

Unterstützung

Erscheinungen

Prolog 1.0.4
Minlog 0.7.3
Prolog 1.0.3
Prolog 1.0.2
Prolog 1.0.1
Prolog 1.0.0

Archiv 2013

Unterstützung

zweite Schritte
erste Schritte

Erscheinungen

Festtage 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

Veranstaltungen

SGAICO 2013
TaCoS 2013

Archiv 2012

Unterstützung

Twitter
Einbettung
Eigene CLP(*)
Android
Google+

Erscheinungen

Festtage 2012
Prolog 0.9.6
Prolog 0.9.5
Minlog 0.5
Prolog 0.9.4
Prolog 0.9.3
Prolog 0.9.2

Veranstaltungen

TaCoS 2012

Archiv 2011

Unterstützung

SQL Beispiel

Erscheinungen

Festtage 2011
Prolog 0.9.1
Prolog 0.9.0

JSON XSLT

DCG-Expansion

palin.p
desugar.p

Strukturierte

Entitäten JSON

Zielexpansion

squares.p
squares_ex.p

Beweglichkeit

ISO Prolog Kern

Höherer Stufe

Spickzettel

Schritte
Bildschirmfotos

Historisierung

Umgestaltung

Entwicklung

Integration

Beschreibung

Schritt

Schritte