[ActiveConfig]
..\..\html\docs\tekn\www\SigmaKEAZ.vpj=Debug
..\..\packs_xtra\packs_xtra.vpj=Release
..\..\taupl\SxxLog\SxxLog.vpj=Release
..\PrologMUDDebug.vpj=Release
..\..\taupl\qulog0.4\QuProlog\qp.vpj=Release
..\..\prolog.vpj=Release
[Global]
CurrentProject=..\PrologMUDDebug.vpj
[ProjectDates]
..\..\packs_xtra\packs_xtra.vpj=20181218182152462
..\..\prolog.vpj=20180929002435738
..\PrologMUDDebug.vpj=20181226012829062
..\..\taupl\qulog0.4\QuProlog\qp.vpj=20180723192133428
..\..\taupl\SxxLog\SxxLog.vpj=20180830053002284
wamcl.vpj=20180811032123915
[TreeExpansion2]
- ..\..\packs_xtra\packs_xtra.vpj
+ flora-svn
+ flora-rulelog
+ rif
+ spec
+ tth_src
+ flora2
+ admin
+ linux
+ mac
+ makeself
+ windows
+ AT
+ include
+ prolog
+ ATinc
+ cc
+ windows
+ windows64
+ closure
+ datatypes
+ debugger
+ demos
+ sgml
+ expectedoutput
+ xpath
+ expectedoutput
+ docs
+ emacs
+ etc
+ flrincludes
+ genincludes
+ headerinc
+ includes
+ java
+ API
+ examples
+ flogicbasicsExample
+ fooExample
+ javaAPI
+ src
+ net
+ sf
+ flora2
+ API
+ util
+ net
+ sf
+ flora2
+ API
+ util
+ lib
+ include
+ libinc
+ pkgs
+ include
+ prolog
+ pkgsinc
+ syslib
+ syslibinc
+ flora2-performance
+ cyc150
+ CYC_tests
+ test0
+ PaulH_tests
+ test1
+ flora2-testsuite
+ apptests
+ gpmanager
+ programs
+ datafiles
+ defeasible
+ atck1
+ atck1alt
+ atck2
+ atck2alt
+ atck3
+ atco
+ atco2
+ atco3
+ new_gclp
+ old_gclp
+ refute_clp
+ delaystests
+ exporttest
+ functions
+ general_tests
+ auxfiles
+ prolog
+ java
+ loading
+ quotation
+ src
+ iptest
+ symbols
+ flora2-website
+ images
+ tutorial
+ examples
+ homeworks
+ hw1-sol
+ hw2-sol
+ pathlp-repository
+ extensions
+ foml
+ foml-documentation
+ foml-tests
+ desktop
+ flatdesktop
+ multidesktop
+ syntex
+ mlm
+ mlm-tests
+ modelintneg
+ uml
+ modelintpos
+ uml
+ modelneg
+ uml
+ modelpos
+ uml
+ multidesktop
+ old
+ multidesktop
+ syntex
+ syntax_correctness
+ syntax_correctness-tests
+ desktop
+ syntex
+ lib
+ oldfoml
+ foml_documentation
+ foml_examples
+ exstud
+ mlm
+ mlm_examples
+ desktop
+ multiex
+ notused
+ pathlptests
+ multidesk
+ multiex
+ multisynt
+ src
+ backgt
+ builtins
+ compiler
+ utilities
+ XSB
+ admin
+ macosx
+ windows
+ bin
+ build
+ odbc
+ windows
+ windows64
+ cmplib
+ objfiles.saved
+ config
+ x64-pc-windows
+ bin
+ lib
+ x86-pc-windows
+ lib
+ docs
+ homepage
+ old-homepage
+ flora
+ techman
+ figures
+ userman
+ cdf
+ odbc_man
+ emu
+ dde
+ debugs
+ orastuff
+ etc
+ images
+ examples
+ c_calling_XSB
+ chr
+ chr_d
+ curl
+ certificates
+ expectedoutput
+ incremental
+ libwww
+ files
+ rdf
+ expectedoutput
+ suite
+ sgml
+ expectedoutput
+ files
+ socket
+ select
+ subprocess
+ threads
+ xmc
+ ABP
+ Iproto
+ Leader
+ Metalock
+ Needham
+ Rether
+ Sieve
+ Tests
+ xpath
+ expectedoutput
+ files
+ XSB_calling_c
+ gpp
+ installer
+ docs
+ lib
+ misc
+ installation
+ packages
+ altCDF
+ cdf
+ cdfpt
+ cdftp
+ curtest
+ ontologies
+ ont1
+ doc
+ Figures
+ mknf
+ tests
+ chkCon
+ ex_disj
+ mytest
+ cdftest1
+ scripts
+ tests
+ ce_tests
+ onto_tests
+ ont1
+ bounds
+ CDF
+ doc
+ rdf
+ test
+ test2dir
+ test3dir
+ test5dir
+ test6dir
+ theoremprover
+ chr
+ chr_d
+ clpqr
+ curl
+ cc
+ bin
+ bin64
+ curl
+ Misc
+ dbdrivers
+ cc
+ windows
+ windows64
+ mysql
+ cc
+ windows
+ windows64
+ Misc
+ mysqlembedded
+ cc
+ Misc
+ odbc
+ cc
+ windows
+ windows64
+ Misc
+ gap
+ justify
+ libwww
+ cc
+ pcre
+ cc
+ bin
+ bin64
+ pcre
+ Misc
+ perlmatch
+ cc
+ persistent_tables
+ doc
+ examples
+ pita
+ examples
+ rdf
+ regmatch
+ cc
+ sgml
+ cc
+ bin
+ bin64
+ dtd
+ slx
+ viewsys
+ doc
+ examples
+ viewsys_toy
+ w4
+ wildmatch
+ cc
+ xasp
+ doc
+ intf_examples
+ makefiles
+ smodels
+ tests
+ basic_tests
+ xmc
+ GUI
+ xpath
+ cc
+ bin
+ bin64
+ libxml
+ Misc
+ xref
+ xsbdoc
+ doc
+ prolog-commons
+ prolog_includes
+ syslib
+ objfiles.saved
+ xsb-src
+ altmttest
+ basic_tests
+ prolog_tests
+ mttests
+ assert_tests
+ benches
+ anssub-benches
+ answer_completion_benches
+ petri
+ prolog_benches
+ consttest
+ shared_benches
+ synth_benches
+ tab_benches
+ comp_tests
+ deadlock_tests
+ io_tests
+ loader_tests
+ negation_tests
+ prolog_tests
+ shared_tests
+ symbol_tests
+ table_tests
+ XSB
+ admin
+ macosx
+ windows
+ build
+ odbc
+ windows
+ windows64
+ cmplib
+ docs
+ homepage
+ old-homepage
+ flora
+ techman
+ figures
+ userman
+ cdf
+ odbc_man
+ emu
+ dde
+ debugs
+ orastuff
+ etc
+ images
+ examples
+ c_calling_XSB
+ chr
+ chr_d
+ curl
+ certificates
+ expectedoutput
+ incremental
+ libwww
+ files
+ rdf
+ expectedoutput
+ suite
+ sgml
+ expectedoutput
+ files
+ socket
+ select
+ subprocess
+ threads
+ xmc
+ ABP
+ Iproto
+ Leader
+ Metalock
+ Needham
+ Rether
+ Sieve
+ Tests
+ xpath
+ expectedoutput
+ files
+ XSB_calling_c
+ gpp
+ installer
+ docs
+ lib
+ misc
+ installation
+ packages
+ altCDF
+ cdf
+ cdfpt
+ cdftp
+ curtest
+ ontologies
+ ont1
+ doc
+ Figures
+ mknf
+ tests
+ chkCon
+ ex_disj
+ mytest
+ cdftest1
+ scripts
+ tests
+ ce_tests
+ onto_tests
+ ont1
+ bounds
+ CDF
+ doc
+ rdf
+ test
+ test2dir
+ test3dir
+ test5dir
+ test6dir
+ theoremprover
+ chr
+ chr_d
+ clpqr
+ curl
+ cc
+ bin
+ bin64
+ curl
+ Misc
+ dbdrivers
+ cc
+ windows
+ windows64
+ mysql
+ cc
+ windows
+ windows64
+ Misc
+ mysqlembedded
+ cc
+ Misc
+ odbc
+ cc
+ windows
+ windows64
+ Misc
+ gap
+ justify
+ libwww
+ cc
+ pcre
+ cc
+ bin
+ bin64
+ pcre
+ Misc
+ perlmatch
+ cc
+ persistent_tables
+ doc
+ examples
+ pita
+ examples
+ rdf
+ regmatch
+ cc
+ sgml
+ cc
+ bin
+ bin64
+ dtd
+ slx
+ viewsys
+ doc
+ examples
+ viewsys_toy
+ w4
+ wildmatch
+ cc
+ xasp
+ doc
+ intf_examples
+ makefiles
+ smodels
+ tests
+ basic_tests
+ xmc
+ GUI
+ xpath
+ cc
+ bin
+ bin64
+ libxml
+ Misc
+ xref
+ xsbdoc
+ doc
+ prolog-commons
+ prolog_includes
+ syslib
+ xsbtests
+ ai_tests
+ attv_tests
+ basic_tests
+ benches
+ prolog_benches
+ synth_benches
+ xmc
+ cdf_tests
+ cdftp_testdir
+ ce_testdir
+ check_testdir
+ comp_testdir
+ test
+ test_0
+ test_int
+ testo1
+ testo1_0
+ comp_testdir2
+ test
+ testo1
+ dl_testdir
+ io_testdir
+ type0_testdir
+ compiler_tests
+ constraint_tests
+ delay_tests
+ float_tests
+ flora_tests
+ apptests
+ datafiles
+ general_tests
+ pending_bugs
+ foreign_tests
+ incremental_tests
+ io_tests
+ neg_tests
+ nonmt_tests
+ prolog_tests
+ parmod_tests
+ pm_subdir
+ ptq
+ regmatch_tests
+ retract_tests
+ sem_tests
+ CSH
+ tests
+ socket_tests
+ auxiliary
+ sub_table_tests
+ sub_tests
+ Data
+ Programs
+ table_tests
+ wfs_tests
- logicmoo_experimental
- prolog
- logicmoo
+ aitp
+ chapter2
+ chapter3
+ chapter4
+ chapter5
+ chapter6
+ chapter7
+ chapter8
+ chapter9
+ candc
+ working
+ dra
+ general
+ t
+ dra_examples
+ Bench
+ aspclp
+ clpfd
+ prolog
+ tabling
+ LTL
+ mttests
+ benches
+ anssub-benches
+ answer_completion_benches
+ petri
+ prolog_benches
+ consttest
+ shared_benches
+ synth_benches
+ tab_benches
+ negation_tests
+ table_tests
+ XSB
+ xsblib
+ cmplib
+ lib
+ syslib
+ xsbtests
+ ai_tests
+ attv_tests
+ basic_tests
+ benches
+ prolog_benches
+ synth_benches
+ xmc
+ cdf_tests
+ cdftp_testdir
+ ce_testdir
+ check_testdir
+ comp_testdir
+ test
+ test_0
+ test_int
+ testo1
+ testo1_0
+ comp_testdir2
+ test
+ testo1
+ dl_testdir
+ io_testdir
+ type0_testdir
+ compiler_tests
+ constraint_tests
+ delay_tests
+ float_tests
+ flora_tests
+ apptests
+ datafiles
+ general_tests
+ pending_bugs
+ incremental_tests
+ neg_tests
+ ptq
+ regmatch_tests
+ retract_tests
+ sem_tests
+ CSH
+ tests
+ sub_table_tests
+ sub_tests
+ Data
+ Programs
+ table_tests
+ wfs_tests
- logicmoo_interps
+ lib
+ Cisp
+ logs
+ test
+ addition
+ comments
+ demo
+ print
+ clispi
+ garbage
+ emacs-cl
+ contrib
+ closette
+ gabriel
+ src
- prolog
+ lip
+ examples
+ sicp
+ src
+ tests
+ lsp500
+ ns938
+ www.csee.umbc.edu
+ ~finin
+ sip
+ sips
+ r6rs-plt-redex-model
+ t
+ baby2015
+ clII
+ doc
+ fmcs
+ kernel
+ common
+ consat
+ basic
+ mini
+ normal
+ frames
+ basic
+ mini
+ normal
+ freetext
+ meta
+ modules
+ prolog
+ basic
+ mini
+ normal
+ rules
+ basic
+ mini
+ normal
+ mac
+ io
+ normal
+ modules
+ tools
+ model-k
+ configs
+ kbs
+ floor
+ kads
+ samples
+ axsets
+ configs
+ kbs
+ texi
+ configs
+ k1
+ k3
+ tty
+ basic
+ cmds
+ mini
+ modules
+ test_1000
+ test_1500
+ logicmoo_nlu
+ prolog
+ ace_in_gf
+ docs
+ d11_1
+ images
+ grammars
+ ace
+ acewiki_aceowl
+ attempto
+ exclude
+ lib
+ src
+ ace
+ api
+ probs
+ tests
+ ace
+ acewiki_aceowl
+ Geography
+ Ace
+ Ger
+ Spa
+ geo
+ no
+ ontograph_40
+ ontograph_ext
+ Words300
+ tools
+ APE
+ Codeco
+ words
+ acewiki_aceowl
+ clex
+ Geography
+ geo
+ ontograph_40
+ Simple
+ test
+ Words300
+ AceRules
+ engine
+ court_interpreter
+ examples
+ parser
+ skolemizer
+ stable_interpreter
+ testcases
+ court
+ input
+ output
+ stable
+ input
+ output
+ stable_strong
+ input
+ output
+ verbalizer
+ webservice
+ webapp
+ src
+ ch
+ uzh
+ ifi
+ attempto
+ acerules
+ help
+ page
+ error
+ ref
+ resource
+ style
+ war
+ WEB-INF
+ webclient
+ ape
+ examples
+ java
+ src
+ main
+ java
+ ch
+ uzh
+ ifi
+ attempto
+ ape
+ test
+ java
+ ch
+ uzh
+ ifi
+ attempto
+ ape
+ lexicon
+ logger
+ parser
+ tests
+ testruns
+ tools
+ utils
+ owlswrl
+ candc
+ bin
+ bin-old
+ candc-1.00
+ bin
+ doc
+ tutorial
+ ext
+ bin-old
+ extras
+ src
+ wsdlcpp
+ models
+ boxer
+ chunk
+ ner
+ gazetteer
+ parser
+ cats
+ pos
+ super
+ chunk
+ chunk_quotes
+ muc
+ gazetteer
+ ner
+ gazetteer
+ noquotes
+ chunk
+ muc
+ gazetteer
+ parser
+ cats
+ pos
+ super
+ parser
+ cats
+ pos
+ pos_bio-1.00
+ pos_noquotes
+ pos_questions
+ pos_quotes
+ ptb_chunk
+ ptb_muc
+ gazetteer
+ questions
+ chunk
+ ner
+ gazetteer
+ parser
+ cats
+ pos
+ super
+ super
+ super_noquotes
+ super_questions
+ super_quotes
+ src
+ api
+ ccg
+ nlp
+ python
+ soap
+ data
+ boot
+ boxer
+ ccg
+ cats
+ ccg2ptb
+ italian
+ prolog
+ scripts
+ mpi
+ vpe
+ wsj
+ html
+ include
+ bootstrap
+ config
+ extract
+ hashtable
+ io
+ maxent
+ model
+ parser
+ relations
+ tagger
+ thesaurus
+ measures
+ weights
+ tree
+ utils
+ lib
+ bootstrap
+ config
+ extract
+ io
+ maxent
+ model
+ parser
+ ports
+ relations
+ tagger
+ thesaurus
+ measures
+ weights
+ tokeniser
+ tree
+ utils
+ main
+ prolog
+ boxer
+ knowledge
+ lex
+ lib
+ nutcracker
+ scripts
+ boxer
+ sick
+ ccg
+ class
+ memex
+ tests
+ ccg
+ depbank560
+ web
+ static
+ css
+ js
+ working
+ chart89
+ chat80
+ chat80_regress
+ CURT
+ bb0
+ bb1
+ bb2
+ e2c
+ learningbyreading
+ config
+ ext
+ candc
+ doc
+ tutorial
+ ext
+ src
+ api
+ ccg
+ nlp
+ python
+ soap
+ data
+ boot
+ boxer
+ ccg
+ cats
+ ccg2ptb
+ italian
+ prolog
+ scripts
+ mpi
+ vpe
+ wsj
+ html
+ include
+ bootstrap
+ config
+ extract
+ hashtable
+ io
+ maxent
+ model
+ parser
+ relations
+ tagger
+ thesaurus
+ measures
+ weights
+ tree
+ utils
+ lib
+ bootstrap
+ config
+ extract
+ io
+ maxent
+ model
+ parser
+ ports
+ relations
+ tagger
+ thesaurus
+ measures
+ weights
+ tokeniser
+ tree
+ utils
+ main
+ prolog
+ boxer
+ knowledge
+ lex
+ lib
+ nutcracker
+ scripts
+ boxer
+ sick
+ ccg
+ class
+ memex
+ tests
+ ccg
+ depbank560
+ web
+ static
+ css
+ js
+ kb
+ libs
+ babelfy-aloof
+ src
+ resources
+ mappings-upc-2007
+ mapping-16-30
+ rules
+ src
+ unboxer
+ testcorpus
+ nlp_book
+ lisp
+ pop11
+ prolog
+ Parser_SUPPLE
+ config
+ docs
+ lib
+ prolog
+ grammar
+ prolog-impls
+ plcafe
+ gen-src
+ shef
+ nlp
+ supple
+ prolog
+ cafe
+ src
+ shef
+ nlp
+ supple
+ prolog
+ sicstus
+ src
+ shef
+ nlp
+ supple
+ prolog
+ swi
+ src
+ shef
+ nlp
+ supple
+ prolog
+ src
+ shef
+ nlp
+ supple
+ category
+ mapping
+ prolog
+ utils
+ pldata
+ plkb7166
+ ProNTo
+ Brooks
+ dparser
+ et
+ Schlachter
+ Voss
+ witzig
+ regulus
+ Alterf
+ CVS
+ Prolog
+ CVS
+ AudioProviders
+ CVS
+ CPP
+ CVS
+ CVS
+ doc
+ ACL2003
+ Experiments
+ corpora
+ CorpusScaleScripts
+ doc
+ GeneratedFiles
+ GrammarScaleScripts
+ IterationScripts
+ Prolog
+ RCAUScaleScripts
+ Regulus
+ RegulusForIteration
+ trace_files
+ Summaries
+ Paper
+ CommandDoc
+ Cookbook
+ CVS
+ EACL_demo
+ Paper
+ protege-regulus-exporter
+ CVS
+ regClient
+ CVS
+ index-files
+ CVS
+ net
+ CVS
+ sf
+ CVS
+ regulus
+ class-use
+ CVS
+ CVS
+ interpretation
+ class-use
+ CVS
+ CVS
+ resources
+ CVS
+ Examples
+ Bridge
+ corpora
+ Prolog
+ Bassinet
+ Regulus
+ scripts
+ Calendar
+ corpora
+ CVS
+ JapDataCollSep2008
+ speech
+ CVS
+ CVS
+ doc
+ CVS
+ Generated
+ CVS
+ japanese_wavfiles
+ logs
+ java
+ CVS
+ doc
+ CVS
+ gui
+ class-use
+ transact
+ class-use
+ index-files
+ CVS
+ issco
+ CVS
+ eval
+ class-use
+ CVS
+ CVS
+ resources
+ CVS
+ socket
+ class-use
+ issco
+ calendar
+ CVS
+ gui
+ CVS
+ socket
+ CVS
+ CVS
+ eval
+ CVS
+ ts
+ nbest
+ CVS
+ util
+ src
+ gui
+ transact
+ socket
+ test
+ socket
+ Prolog
+ CVS
+ Regulus
+ CVS
+ scripts
+ CVS
+ SLM
+ CVS
+ scripts
+ CVS
+ CVS
+ Doris
+ corpora
+ doc
+ Generated
+ Prolog
+ Regulus
+ scripts
+ EnglishRobots
+ corpora
+ Generated
+ prolog
+ regulus
+ scripts
+ Generic
+ CVS
+ Prolog
+ CVS
+ GermanRobots
+ corpora
+ prolog
+ regulus
+ scripts
+ Misc
+ CVS
+ PSA
+ corpora
+ CVS
+ CVS
+ doc
+ CVS
+ GeneratedFiles
+ CVS
+ logfiles
+ CVS
+ Prolog
+ CVS
+ Regulus
+ CVS
+ scripts
+ CVS
+ SHRD2
+ corpora
+ doc
+ BackToTheFuture
+ Generated
+ Prolog
+ Regulus
+ scripts
+ Toy0
+ CVS
+ doc
+ CVS
+ Generated
+ CVS
+ GeneratedFiles
+ CVS
+ java
+ audio
+ CVS
+ CVS
+ img
+ CVS
+ Nuance
+ CVS
+ Prolog
+ CVS
+ Regulus
+ CVS
+ scripts
+ CVS
+ logs
+ CVS
+ wavfiles
+ CVS
+ Toy0Strcat
+ Generated
+ Regulus
+ scripts
+ Toy1
+ corpora
+ CVS
+ recorded_wavfiles
+ CVS
+ wavfiles
+ CVS
+ CVS
+ doc
+ CVS
+ Generated
+ CVS
+ GeneratedFiles
+ CVS
+ java
+ CVS
+ logs
+ CVS
+ logfiles
+ CVS
+ Prolog
+ CVS
+ Regulus
+ CVS
+ scripts
+ CVS
+ Toy1Alterf
+ corpora
+ CVS
+ CVS
+ doc
+ CVS
+ Generated
+ CVS
+ Prolog
+ Alterf
+ CVS
+ CVS
+ Regulus
+ CVS
+ scripts
+ CVS
+ Toy1Course
+ Corpora
+ CVS
+ CVS
+ GeneratedFiles
+ CVS
+ Prolog
+ CVS
+ Regulus
+ CVS
+ scripts
+ CVS
+ Toy1Dynamic
+ CVS
+ doc
+ CVS
+ Generated
+ CVS
+ java
+ audio
+ CVS
+ CVS
+ img
+ CVS
+ Nuance
+ CVS
+ Prolog
+ CVS
+ scripts
+ CVS
+ Toy1RoleMarked
+ corpora
+ CVS
+ CVS
+ Generated
+ CVS
+ Prolog
+ CVS
+ Regulus
+ CVS
+ scripts
+ CVS
+ Toy1Specialised
+ corpora
+ CVS
+ CVS
+ doc
+ CVS
+ Generated
+ CVS
+ GeneratedFiles
+ CVS
+ java
+ CVS
+ logs
+ CVS
+ logfiles
+ CVS
+ Prolog
+ CVS
+ Regulus
+ CVS
+ scripts
+ CVS
+ Toy1SpecialisedDynamic
+ corpora
+ doc
+ DynamicNuance
+ Generated
+ Prolog
+ Regulus
+ scripts
+ Toy1Strcat
+ Generated
+ Regulus
+ scripts
+ Grammar
+ Arabic
+ CVS
+ German
+ Germanic
+ English
+ German
+ Japanese
+ Korean
+ Romance
+ French
+ Scandinavian
+ English
+ Swedish
+ Java
+ CVS
+ JudgeGUI
+ CVS
+ RegulusGUI
+ CVS
+ TestGUI
+ CVS
+ Mobile
+ bin
+ arm-linux
+ CVS
+ i386-linux
+ CVS
+ CalendarGUI
+ data
+ pixmaps
+ src
+ Common
+ CommunicationChannel
+ CVS
+ obj
+ CVS
+ i386-linux
+ CVS
+ src
+ CVS
+ CVS
+ GUI
+ data
+ pixmaps
+ src
+ lib
+ CVS
+ i386-linux
+ CVS
+ MedSLTDoctorGUI
+ data
+ pixmaps
+ src
+ MedSLTGUI
+ data
+ pixmaps
+ src
+ MedSLTPatientGUI
+ data
+ pixmaps
+ src
+ MedSLTPatientPlainGUI
+ src
+ Prolog
+ CVS
+ Misc
+ CVS
+ SICStusPatches
+ 4.0.3
+ CVS
+ CVS
+ PrologLib
+ CorpusTools
+ ACCEPTScripts
+ CVS
+ RegulusLanguageServer
+ CVS
+ Prolog
+ CVS
+ RegulusSpeechServer
+ C_src
+ CVS
+ socketServer
+ CVS
+ CVS
+ java
+ CVS
+ net
+ CVS
+ sf
+ CVS
+ regulus
+ CVS
+ interpretation
+ CVS
+ plugins
+ CVS
+ protege
+ CVS
+ Prolog
+ CVS
+ runtime
+ CVS
+ sparc-solaris
+ CVS
+ win32
+ CVS
+ SampleApp
+ CVS
+ Prolog
+ CVS
+ Scripts
+ CVS
+ VC++
+ CVS
+ RegulusTechReports
+ scripts
+ CVS
+ SIRIDUS
+ dbaseAgent
+ docs
+ src
+ icalAgent
+ docs
+ icsFiles
+ src
+ TALK_enhanced_grammar_lib
+ Agenda
+ Common
+ MP3
+ OWL
+ This-Was-GrammarLib
+ Agenda
+ Common
+ MP3
+ OWL
+ Tram
+ Tram
+ TALK_unimodal_grammar_lib
+ delux
+ Grammars
+ Resources
+ djgodis
+ Grammars
+ Resources
+ GF_GoDiS
+ Core
+ CVS
+ Shared
+ CVS
+ System
+ CVS
+ User
+ CVS
+ CVS
+ Domain
+ AgendaTalk
+ CVS
+ Shared
+ CVS
+ System
+ CVS
+ User
+ CVS
+ CVS
+ deLux
+ CVS
+ Shared
+ CVS
+ System
+ CVS
+ User
+ CVS
+ DJGoDiS
+ CVS
+ Shared
+ CVS
+ System
+ CVS
+ User
+ CVS
+ VideoGoDiS
+ CVS
+ Shared
+ CVS
+ System
+ CVS
+ User
+ CVS
+ Resource
+ CVS
+ Events_Locations
+ CVS
+ Home
+ CVS
+ old
+ CVS
+ Media
+ CVS
+ English
+ CVS
+ old
+ CVS
+ Swedish
+ CVS
+ old
+ CVS
+ Numbers
+ CVS
+ Time
+ CVS
+ godis
+ CVS
+ doc
+ CVS
+ LaTeX
+ CVS
+ general
+ CVS
+ godis-all
+ CVS
+ rule_libs
+ CVS
+ godis-aod
+ CVS
+ godis-basic
+ CVS
+ godis-grounding
+ CVS
+ godis-iod
+ CVS
+ jars
+ tkit_inout_nuance
+ logs
+ tkit_inout_text
+ trindikit4
+ CVS
+ examples
+ CVS
+ godis-basic
+ Agents
+ CVS
+ CVS
+ datatypes
+ CVS
+ modules
+ CVS
+ resource_interfaces
+ CVS
+ resources
+ CVS
+ TISdefs
+ CVS
+ UGOT-D31
+ godis
+ doc
+ LaTeX
+ general
+ godis-all
+ rule_libs
+ godis-aod
+ godis-basic
+ godis-grounding
+ godis-iod
+ godis-apps
+ cellphone
+ domain-agendatalk
+ Resources
+ Speech
+ domain-icecream
+ Resources
+ domain-legoturtle
+ asrg_legoturtle_english
+ asrg_vcr_english
+ logs
+ OLD
+ rcxTcl
+ domain-medical
+ Database
+ org
+ mitre
+ midiki
+ workshop
+ Experiments
+ domain-player
+ DBaseAgent
+ DJGoDisGram
+ DBase
+ English
+ Swedish
+ MultiModal
+ Numbers
+ Shared
+ System
+ User
+ inoutnuance
+ player-old
+ Resources
+ Resources
+ domain-ta
+ Resources
+ domain-tel
+ domain-telvcr
+ domain-tram
+ Resources
+ domain-vcr
+ Resources
+ Speech
+ Trash
+ asrg_vcr_english
+ domain-x10
+ Resources
+ ToUpgrade
+ Autoroute
+ Cellphone
+ domain-tel
+ Home
+ OLD
+ IMDiS
+ VcrPhone
+ OLD
+ trindikit4-0.1alpha
+ examples
+ godis-basic
+ Agents
+ datatypes
+ modules
+ resource_interfaces
+ resources
+ TISdefs
+ stanford
+ bin
+ conf
+ data
+ t
+ logicmoo_packages
- prolog
- ailog2
+ ale
+ grammars
+ guide
+ aleph
+ ALPprolog
+ FluxVersion
+ Ground
+ Nonground
+ ANSProlog
+ ASP
- yaptab-par
+ BEAM
+ C
+ console
+ LGPL
+ CVSROOT
+ CXX
+ docs
+ index
+ Benchmarks
+ H
+ include
+ JIT
+ examples
+ HPP
+ LGPL
+ pillow
+ doc
+ pillow_doc_html
+ examples
+ library
+ clp
+ dialect
+ bprolog
+ fli
+ swi
+ fli
+ examples
+ lammpi
+ examples
+ matlab
+ matrix
+ mpi
+ examples
+ random
+ regex
+ rltree
+ system
+ tries
+ man
+ miar
+ misc
+ icons
+ OPTYap
+ os
+ libtai
+ windows
- packages
+ bdd
+ examples
+ CLPBN
+ benchmarks
+ city
+ comp_workshops
+ school
+ social_network2
+ social_network2_evidence
+ workshop_attrs
+ clpbn
+ examples
+ HMMer
+ learning
+ School
+ horus
+ unit_tests
+ html
+ learning
+ cplint
+ approx
+ simplecuddLPADs
+ doc
+ em
+ examples
+ lemur
+ rib
+ slipcase
+ slipcover
+ cuda
+ gecode
+ 3.6.0
+ 3.7.0
+ 3.7.1
+ 3.7.2
+ 3.7.3
+ 4.0.0
+ 4.2.0
+ 4.2.1
+ clp_examples
+ dev
+ extractor
+ xml
+ examples
+ meld
+ examples
+ pagerank
+ temperature
+ myddas
+ pl
+ prism
+ exs
+ jtree
+ noisy_or
+ src
+ c
+ core
+ makefiles
+ mp
+ up
+ prolog
+ bp
+ core
+ mp
+ trans
+ up
+ ProbLog
+ problog
+ problog_examples
+ simplecudd
+ simplecudd_lfi
+ prosqlite
+ c
+ doc
+ prolog
+ pyswip
+ examples
+ coins
+ draughts
+ hanoi
+ sendmoremoney
+ sudoku
+ pyswip
+ python
+ examples
+ pyx
- swi-minisat2
+ C
+ examples
+ swig
+ android
+ jni
+ sqlite
+ nativehelper
+ src
+ org
+ sqlite
+ database
+ sqlite
+ python
+ xml
+ xml_example
+ yap-lbfgs
+ doc
+ liblbfgs-1.10
+ include
+ lib
+ pl
+ PrologCommons
+ swi
+ console
+ library
+ clp
+ dcg
+ asn
+ Back52
+ libraries
+ tests
+ translate
+ canc_src
+ api
+ ccg
+ nlp
+ python
+ soap
+ data
+ boot
+ boxer
+ ccg
+ cats
+ ccg2ptb
+ italian
+ prolog
+ scripts
+ mpi
+ vpe
+ wsj
+ html
+ include
+ bootstrap
+ config
+ extract
+ hashtable
+ io
+ maxent
+ model
+ parser
+ relations
+ tagger
+ thesaurus
+ measures
+ weights
+ tree
+ utils
+ lib
+ bootstrap
+ config
+ extract
+ io
+ maxent
+ model
+ parser
+ ports
+ relations
+ tagger
+ thesaurus
+ measures
+ weights
+ tokeniser
+ tree
+ utils
+ main
+ prolog
+ boxer
+ knowledge
+ lex
+ lib
+ nutcracker
+ scripts
+ boxer
+ sick
+ ccg
+ class
+ memex
+ tests
+ ccg
+ depbank560
+ web
+ static
+ css
+ js
+ cec
+ doc
+ cec
+ example
+ induction
+ lib
+ cec
+ help
+ standard
+ examples
+ math
+ osspecs
- src
- cec
+ acUni
+ completion
- compute
- cr
+ display
+ help
+ inout
+ make
+ panndas
+ prolog
+ rg
+ specVars
+ terms
+ tps
+ kns
+ polyn
+ worlds
+ cilog
- cilog_code
- ch2
- ch3
+ ch4
- ch6
+ ch8
+ cilog_man
- code
- apb
- apc
- ch10
- ch11
+ ch12
- ch2
+ ch3
+ ch4
+ ch5
- ch6
+ ch7
+ ch8
+ ch9
+ Clam3
+ bin
+ coclam
+ docs
+ lib
+ critic
+ def
+ eqn
+ hint
+ lemma
+ mthd
+ old
+ rtype
+ scheme
+ scripts
+ smthd
+ synth
+ thm
+ modthm
+ q
+ undef
+ meta-level
+ code-mods
+ compare
+ dialect-support
+ qui
+ sic
+ swi
+ lib
+ critic
+ def
+ eqn
+ hint
+ lemma
+ mthd
+ rtype
+ scheme
+ scripts
+ smthd
+ synth
+ thm
+ lib-buffer
+ thm
+ lib2
+ def
+ eqn
+ synth
+ thm
+ low-level
+ lprolog
+ examples
+ make
+ meta-level
+ object-level
+ planner
+ old_planners
+ updates
+ cltools
+ bin
+ t
+ contraintes.inria.fr
+ ~tmartine
+ chrat
+ distrib
+ current
+ chrat
+ bin
+ solvers
+ src
+ v0.1
+ chrat
+ bin
+ solvers
+ src
+ dctg
+ des
+ doc
+ examples
+ DLDebugger
+ ontology
+ persistency
+ SQLDebugger
+ dtai.cs.kuleuven.be
+ ACE
+ data
+ doc
+ private
+ user
+ utils
+ CHR
+ biblio
+ Author
+ Category
+ Keyword
+ Year
+ CHR2010
+ CHR2012
+ CHR2013
+ CHRrp
+ css
+ files
+ images
+ JCHR
+ old
+ papers
+ chr2012
+ summerschool
+ contest
+ systems
+ wiki
+ hipp
+ earley-deduction
+ kawa-1.9.90
+ kawa-1.10
+ bin
+ debian
+ doc
+ gnu
+ brl
+ bytecode
+ commonlisp
+ lang
+ lisp
+ testsuite
+ ecmascript
+ expr
+ jemacs
+ buffer
+ lang
+ lisp
+ swing
+ swt
+ testsuite
+ kawa
+ android
+ ant
+ brl
+ echo2
+ functions
+ lispexpr
+ models
+ reflect
+ sax
+ servlet
+ slib
+ swingviews
+ swtviews
+ util
+ xml
+ xslt
+ lists
+ mapping
+ math
+ q2
+ lang
+ text
+ xml
+ xquery
+ lang
+ testsuite
+ util
+ kawa
+ lang
+ lib
+ kawa
+ rnrs
+ standard
+ testsuite
+ lscheme
+ related
+ DFKI LT - Bottom-Up Earley Deduction for Preference-Driven Natural Language Processing_files
+ ftp.irisa.fr
+ local
+ prolog-vision
+ gplc_files
+ mcgreg.x10.mx
+ pub
+ aaai97
+ aaai98
+ acl92
+ aimsa90
+ anlp92
+ claus1
+ claus5
+ clef04
+ collate
+ diss
+ eagles
+ ecai92
+ eelc04
+ gwai91
+ human-qa
+ icml
+ idioms92
+ ijcai91
+ ilps95
+ ipm
+ ivsw00
+ konvens94
+ lilog-buch
+ mulinex
+ mulinex-mefis
+ nlpia98
+ oegai01
+ profit
+ taln96
+ twlt98
+ woz
+ xldb00
+ pack-ape
+ examples
+ java
+ src
+ main
+ java
+ ch
+ uzh
+ ifi
+ attempto
+ ape
+ test
+ java
+ ch
+ uzh
+ ifi
+ attempto
+ ape
+ prolog
+ lexicon
+ logger
+ parser
+ utils
+ owlswrl
+ tests
+ testruns
+ tools
+ web.cecs.pdx.edu
+ ~harry
+ earley
+ scheme
+ src
+ test
+ googletest
+ build-aux
+ cmake
+ codegear
+ docs
+ include
+ gtest
+ internal
+ custom
+ m4
+ make
+ msvc
+ samples
+ scripts
+ test
+ src
+ test
+ xcode
+ Config
+ gtest.xcodeproj
+ Resources
+ Samples
+ FrameworkSample
+ WidgetFramework.xcodeproj
+ Scripts
+ scheme-interpreter
+ tests
+ schemecpp
+ include
+ scriptlib
+ obj
+ scriptlib
+ src
+ scriptlib
+ schemepp
+ bin
+ source
+ SchemeRuntime
+ tau
+ tests
+ zatuscheme
+ autom4te.cache
+ m4
+ source-archive
+ rose-r5rs\.hg
+ cache
+ store
+ data
+ build
+ msvc-8.0
+ msvc-9.0
+ doc
+ include
+ rose
+ ast
+ detail
+ eval
+ gc
+ generator
+ impl
+ impl
+ parser
+ impl
+ src
+ eval
+ gc
+ generator
+ parser
+ repl
+ test
+ script
+ test__files
+ rose-r5rs
+ doc
+ include
+ rose
+ detail
+ gc
+ generator
+ impl
+ parser
+ impl
+ src
+ gc
+ generator
+ parser
+ repl
+ test
+ script
+ src
+ builtins\.deps
+ builtins
+ test
+ Wiki-2012_lisp_adv_files
+ Wiki_files
+ ec_planner
+ aiswi
+ dist
+ javadoc
+ index-files
+ javasciff
+ class-use
+ test
+ class-use
+ img
+ project_template
+ relazione
+ sciff
+ src
+ gamegui
+ icons
+ javasciff
+ lib
+ test
+ xml
+ code_icl
+ ecnet
+ ectest
+ examples
+ AkmanEtAl2004
+ Antoniou1997
+ BrewkaDixKonolige1997
+ Cassimatis2002
+ FrankEtAl2003
+ GiunchigliaEtAl2004
+ Manual
+ MillerShanahan2002
+ Mueller2004a
+ Mueller2004b
+ Mueller2006
+ Chapter10
+ Chapter11
+ Chapter12
+ Chapter13
+ Chapter14
+ Chapter2
+ Chapter3
+ Chapter4
+ Chapter6
+ Chapter7
+ Chapter8
+ Chapter9
+ Exercises
+ ReiterCriscuolo1981
+ Shanahan1997
+ Shanahan1999
+ foundations
+ includes
+ SaaSPatterns
+ PolicyPatterns
+ PolicySetPatterns
+ RulesPatterns
+ iwfms
+ PKnows-0.9.9
+ vpdl
+ RTEC
+ doc
+ graphics
+ examples
+ BPM
+ experiments
+ data
+ queries
+ setting-1
+ caviar
+ CE patterns
+ data
+ complete caviar
+ execution scripts
+ complete caviar
+ ctm
+ CE patterns
+ data
+ 100_vehicles
+ 0-1000
+ 1000-2000
+ 10000-11000
+ 11000-12000
+ 12000-13000
+ 13000-14000
+ 14000-15000
+ 15000-16000
+ 16000-17000
+ 17000-18000
+ 18000-19000
+ 19000-20000
+ 2000-3000
+ 20000-21000
+ 21000-22000
+ 22000-23000
+ 23000-24000
+ 24000-25000
+ 25000-26000
+ 26000-27000
+ 27000-28000
+ 28000-29000
+ 29000-30000
+ 3000-4000
+ 30000-31000
+ 31000-32000
+ 32000-33000
+ 33000-34000
+ 34000-35000
+ 35000-36000
+ 36000-37000
+ 37000-38000
+ 38000-39000
+ 39000-40000
+ 4000-5000
+ 40000-41000
+ 41000-42000
+ 42000-43000
+ 43000-44000
+ 44000-45000
+ 45000-46000
+ 46000-47000
+ 47000-48000
+ 48000-49000
+ 49000-50000
+ 5000-6000
+ 6000-7000
+ 7000-8000
+ 8000-9000
+ 9000-10000
+ execution scripts
+ 100_vehicles
+ maritime
+ CE patterns
+ simpleMaritimePatterns
+ data
+ dynamic
+ static
+ areaIDs
+ depth
+ patternsParameters
+ portRelatedData
+ vesselInformation
+ execution scripts
+ results
+ utils
+ data loader
+ spatial
+ toy
+ voting
+ experiments
+ data
+ queries
+ setting-1
+ src
+ utilities
+ src-dsc-msc
+ utilities
+ src-master
+ utilities
+ src-v2
+ utilities
+ theorist
+ cilog_code
+ ch2
+ ch3
+ ch4
+ ch6
+ ch8
+ Tom
+ Doc
+ Samples
+ Src
+ xray
+ yadlr
+ examples
+ iris
+ trains
+ pl
+ flux
+ forward_chainer_in_SWI_Prolog
+ gasp
+ CLPASP
+ BBMVLAST
+ BMODELS
+ BMVMODELS
+ GASP
+ ICLP07
+ TPLP
+ DID
+ LNC
+ BFiles
+ PAPERS
+ golorp
+ runfrom
+ grips
+ compiler
+ hdl-interpreter
+ hitori-prolog
+ PrologAssignment
+ TestInput
+ TestOutput
+ iiuwr-proglang
+ indigolog
+ Doc
+ source
+ Env
+ Eval
+ Examples
+ ElevatorSim-BAT\.xpce
+ CLIMA
+ Delivery-BAT
+ Elevator-Vanilla
+ ElevatorLego-BAT
+ ElevatorSim-BAT
+ ER1Test-BAT
+ PMS
+ Wumpus-FLUX
+ WumpusApplet
+ Wumpus-KBAT
+ WumpusApplet
+ flux_WumpusApplet
+ Interpreters
+ flux
+ lib
+ interps
+ BN-search
+ BN-search
+ code_icl
- code_icl
+ CondLean 3.2
+ __MACOSX
+ decreasoner.sourceforge.net
+ csr
+ ecas
+ ecasp
+ FreeP 1.0
+ __MACOSX
+ klmlean2.0
+ __MACOSX
+ knowlang
- knowlang
+ grammar
+ images
- specs
+ bepicolombo
- clouds
+ drone
+ ecars
+ robots
+ tests
+ userguide
+ images
+ scripts
+ knowlang.lero.ie
+ wp-content
+ themes
+ twentyeleven
+ images
+ uploads
+ 2013
+ 11
+ 2015
+ 03
+ wp-includes
+ js
+ knowlang_reasoner
+ knowlang reasoner
+ molog
- Molog
+ pdl-tableau
+ pHFS
+ PPCG-2.0.1
+ PPCG
+ PrologPlusCG
+ manual
+ Samples
+ AAU
+ ForAllLength
+ ICCSDemo
+ ICCSDemoPres
+ Others
+ src
+ PPCG-2.0.16
+ PPCG-2.0.16
+ art
+ classes
+ PrologPlusCG
+ gui
+ manual
+ Samples
+ AAU
+ Examples
+ ForAllLength
+ ICCSDemo
+ ICCSDemoPres
+ Others
+ src
+ PrologPlusCG
+ cg
+ gui
+ prolog
+ tests
+ qualm
+ examples
+ queries
+ RTEC
+ examples
+ caviar
+ CE patterns
+ data
+ complete caviar
+ execution scripts
+ complete caviar
+ ctm
+ CE patterns
+ data
+ 100_vehicles
+ execution scripts
+ 100_vehicles
+ toy
- src
+ utilities
+ ssardina-indigolog-ECL
+ Doc
+ source
+ Env
+ Eval
+ Examples
+ ElevatorSim-BAT\.xpce
+ CLIMA
+ Delivery-BAT
+ Elevator-Vanilla
+ ElevatorLego-BAT
+ ElevatorSim-BAT
+ ER1Test-BAT
+ Wumpus-FLUX
+ WumpusApplet
+ Wumpus-KBAT
+ Screenshots
+ WumpusApplet
+ Interpreters
+ flux
+ lib
+ ssardina-indigolog-eba38d247f77
+ Doc
+ source
+ Env
+ Eval
+ Examples
+ ElevatorSim-BAT\.xpce
+ CLIMA
+ Delivery-BAT
+ Elevator-Vanilla
+ ElevatorLego-BAT
+ ElevatorSim-BAT
+ ER1Test-BAT
+ Wumpus-FLUX
+ WumpusApplet
+ Wumpus-KBAT
+ Screenshots
+ WumpusApplet
+ Interpreters
+ flux
+ lib
+ ssardina-indigolog-MAYBEWRONG
+ Doc
+ source
+ Env
+ Eval
+ Examples
+ ElevatorSim-BAT\.xpce
+ CLIMA
+ Delivery-BAT
+ Elevator-Vanilla
+ ElevatorLego-BAT
+ ElevatorSim-BAT
+ ER1Test-BAT
+ Wumpus-FLUX
+ WumpusApplet
+ Wumpus-KBAT
+ Screenshots
+ WumpusApplet
+ Interpreters
+ flux
+ lib
+ ssardina-indigolog-70c2adaf5bc6
+ Doc
+ source
+ Env
+ Eval
+ Examples
+ ElevatorSim-BAT\.xpce
+ CLIMA
+ Delivery-BAT
+ Elevator-Vanilla
+ ElevatorLego-BAT
+ ElevatorSim-BAT
+ ER1Test-BAT
+ Wumpus-FLUX
+ WumpusApplet
+ Wumpus-KBAT
+ Screenshots
+ WumpusApplet
+ Interpreters
+ flux
+ lib
+ ssardina-indigolog-SWI
+ Doc
+ source
+ Env
+ Eval
+ Examples
+ ElevatorSim-BAT\.xpce
+ CLIMA
+ Delivery-BAT
+ Elevator-Vanilla
+ ElevatorLego-BAT
+ ElevatorSim-BAT
+ Wumpus-KBAT
+ Screenshots
+ WumpusApplet
- Interpreters
+ lib
+ ssardina-indigolog-0e832c3d3faa
+ Doc
+ source
+ Env
+ Eval
+ Examples
+ ElevatorSim-BAT\.xpce
+ CLIMA
+ Delivery-BAT
+ Elevator-Vanilla
+ ElevatorLego-BAT
+ ElevatorSim-BAT
+ Wumpus-KBAT
+ Screenshots
+ WumpusApplet
+ Interpreters
+ lib
+ Theorist
- Theorist
+ XML-Spec-Example1p1
+ jadYammine_eval
+ klsnl
+ klsnl
+ lambda-pro
- lib
+ leadsto
+ nego
+ traces
+ olddocs
+ spec
+ spec1
+ lpdir
- misc
- test
+ MaLARea
+ bin
+ data
+ doc
+ script
- lean-nanoCoP---1.0
- malecop
+ mike
+ MIndiGolog0
+ ml-prolog
+ t
+ motel
+ misc
+ Multiplex
+ nanocop
+ pakcs
+ 2ndHome\.cpm
+ pakcs-2.0-homepackage\.cpm
+ app_packages
+ coosy\.cpm
+ package_cache
+ wl-pprint-0.0.1
+ src
+ Text
+ packages
+ abstract-curry-2.0.0
+ src\.curry
+ AbstractCurry
+ pakcs
+ AbstractCurry
+ src
+ AbstractCurry
+ test
+ gui-2.0.0
+ src\.curry
+ pakcs
+ examples
+ src
+ wl-pprint-0.0.1
+ src
+ Text
+ currybrowse\.cpm
+ package_cache
+ cass-2.0.0
+ docs
+ examples
+ src
+ CASS
+ cass-analysis-2.0.0
+ src
+ Analysis
+ flatcurry-2.0.0
+ src
+ FlatCurry
+ test
+ wl-pprint-0.0.1
+ src
+ Text
+ xml-2.0.0
+ examples
+ src
+ packages
+ abstract-curry-2.0.0
+ src\.curry
+ AbstractCurry
+ pakcs
+ AbstractCurry
+ src
+ AbstractCurry
+ test
+ addtypes-2.0.0
+ src\.curry
+ pakcs
+ src
+ cass-2.0.0
+ src\.curry
+ CASS
+ pakcs
+ CASS
+ docs
+ examples
+ src
+ CASS
+ cass-analysis-2.0.0
+ src\.curry
+ Analysis
+ pakcs
+ Analysis
+ src
+ Analysis
+ flatcurry-2.0.0
+ src\.curry
+ FlatCurry
+ pakcs
+ FlatCurry
+ src
+ FlatCurry
+ test
+ graphviz-2.0.0
+ src\.curry
+ pakcs
+ examples
+ src
+ gui-2.0.0
+ src\.curry
+ pakcs
+ examples
+ src
+ importusage-0.0.1
+ src\.curry
+ pakcs
+ src
+ showflatcurry-1.0.0
+ src\.curry
+ pakcs
+ src
+ wl-pprint-0.0.1
+ src\.curry
+ pakcs
+ Text
+ Text
+ src
+ Text
+ xml-2.0.0
+ src\.curry
+ pakcs
+ examples
+ src
+ currydoc\.cpm
+ packages
+ abstract-curry-2.0.0
+ src\.curry
+ AbstractCurry
+ pakcs
+ AbstractCurry
+ src
+ AbstractCurry
+ test
+ cass-2.0.0
+ src\.curry
+ CASS
+ pakcs
+ CASS
+ docs
+ examples
+ src
+ CASS
+ cass-analysis-2.0.0
+ src\.curry
+ Analysis
+ pakcs
+ Analysis
+ src
+ Analysis
+ flatcurry-2.0.0
+ src\.curry
+ FlatCurry
+ pakcs
+ FlatCurry
+ src
+ FlatCurry
+ test
+ html-2.0.0
+ src\.curry
+ HTML
+ Styles
+ pakcs
+ HTML
+ Styles
+ examples
+ src
+ HTML
+ Styles
+ markdown-2.0.0
+ src\.curry
+ pakcs
+ docs
+ src
+ wl-pprint-0.0.1
+ src\.curry
+ pakcs
+ Text
+ Text
+ src
+ Text
+ xml-2.0.0
+ src\.curry
+ pakcs
+ examples
+ src
+ markdown\.cpm
+ packages
+ html-2.0.0
+ src\.curry
+ HTML
+ pakcs
+ HTML
+ examples
+ src
+ HTML
+ Styles
+ sourceproggui\.cpm
+ package_cache
+ flatcurry-2.0.0
+ src
+ FlatCurry
+ test
+ wl-pprint-0.0.1
+ src
+ Text
+ xml-2.0.0
+ examples
+ src
+ packages
+ flatcurry-2.0.0
+ src\.curry
+ FlatCurry
+ pakcs
+ FlatCurry
+ src
+ FlatCurry
+ test
+ gui-2.0.0
+ src\.curry
+ pakcs
+ examples
+ src
+ wl-pprint-0.0.1
+ src
+ Text
+ xml-2.0.0
+ examples
+ src
+ transbooleq\.cpm
+ package_cache
+ cass-2.0.0
+ docs
+ examples
+ src
+ CASS
+ cass-analysis-2.0.0
+ src
+ Analysis
+ csv-1.0.0
+ src
+ Text
+ flatcurry-2.0.0
+ src
+ FlatCurry
+ test
+ wl-pprint-0.0.1
+ src
+ Text
+ xml-2.0.0
+ examples
+ src
+ packages
+ cass-2.0.0
+ src\.curry
+ CASS
+ pakcs
+ CASS
+ docs
+ examples
+ src
+ CASS
+ cass-analysis-2.0.0
+ src\.curry
+ Analysis
+ pakcs
+ Analysis
+ src
+ Analysis
+ csv-1.0.0
+ src\.curry
+ pakcs
+ Text
+ Text
+ src
+ Text
+ flatcurry-2.0.0
+ src\.curry
+ FlatCurry
+ pakcs
+ FlatCurry
+ src
+ FlatCurry
+ test
+ wl-pprint-0.0.1
+ src
+ Text
+ xml-2.0.0
+ src\.curry
+ pakcs
+ examples
+ src
+ coosy
+ src\.curry
+ Coosy
+ pakcs
+ Coosy
+ examples
+ include
+ src
+ Coosy
+ currybrowse
+ src\.curry
+ CurryBrowseAnalysis
+ pakcs
+ CurryBrowseAnalysis
+ docs
+ src
+ CurryBrowseAnalysis
+ currydoc
+ src\.curry
+ CurryDoc
+ pakcs
+ CurryDoc
+ docs
+ include
+ bt3
+ css
+ fonts
+ js
+ src
+ CurryDoc
+ markdown
+ src\.curry
+ pakcs
+ docs
+ src
+ sourceproggui
+ src\.curry
+ pakcs
+ src
+ transbooleq
+ src\.curry
+ pakcs
+ docs
+ examples
+ src
+ bin
+ index
+ abstract-curry
+ 1.0.0
+ 2.0.0
+ abstract-haskell
+ 2.0.0
+ addtypes
+ 0.0.1
+ 2.0.0
+ base
+ 1.0.0
+ benchmark-papers
+ 0.0.1
+ 2.0.0
+ bindata
+ 1.0.0
+ binint
+ 0.0.1
+ 2.0.0
+ boxes
+ 0.0.1
+ 0.0.2
+ 2.0.0
+ bpmn2bpel
+ 0.0.1
+ call-analysis
+ 0.0.1
+ 2.0.0
+ casc
+ 0.0.1
+ 2.0.0
+ cass
+ 0.0.1
+ 2.0.0
+ cass-analysis
+ 0.0.1
+ 0.0.2
+ 0.0.3
+ 0.0.4
+ 2.0.0
+ ccti
+ 0.0.1
+ cdbi
+ 1.0.0
+ 1.1.0
+ 2.0.0
+ chr-curry
+ 0.0.1
+ 1.0.0
+ 2.0.0
+ clp-pakcs
+ 1.0.0
+ clpbool
+ 0.0.1
+ 2.0.0
+ clpfd-smt
+ 0.0.1
+ 0.0.2
+ contract-prover
+ 0.0.1
+ coosy
+ 1.0.0
+ 2.0.0
+ cpc
+ 0.0.1
+ cpm
+ 0.0.1
+ 0.0.2
+ 0.0.3
+ 0.0.4
+ 0.1.0
+ 0.1.1
+ 0.2.0
+ 0.2.1
+ 0.2.2
+ 0.2.3
+ 1.0.0
+ 2.0.0
+ 2.1.0
+ cpm-manage
+ 0.0.1
+ 0.0.2
+ 0.0.3
+ 2.0.0
+ 2.1.0
+ csv
+ 1.0.0
+ curry2js
+ 0.2.0
+ 2.0.0
+ currybrowse
+ 0.5.0
+ 2.0.0
+ currycheck
+ 1.0.0
+ 1.0.1
+ 1.1.0
+ 2.0.0
+ currydoc
+ 0.8.2
+ 0.8.3
+ 2.0.0
+ currypp
+ 0.3.0
+ 0.3.1
+ 0.3.2
+ 2.0.0
+ db-pakcs
+ 1.0.0
+ det-parse
+ 0.0.1
+ dimacs
+ 0.0.1
+ dsdcurry
+ 1.0.0
+ ertools
+ 1.0.0
+ 2.0.0
+ failfree
+ 0.0.1
+ fl-parser
+ 1.0.0
+ flatcurry
+ 1.0.0
+ 2.0.0
+ flatcurry-annotated
+ 1.0.0
+ 2.0.0
+ flatcurry-compact
+ 0.0.1
+ global-variables
+ 1.0.0
+ graph-inductive
+ 1.0.0
+ 2.0.0
+ graphviz
+ 1.0.0
+ 2.0.0
+ gui
+ 1.0.0
+ 2.0.0
+ html
+ 1.0.0
+ 1.1.0
+ 2.0.0
+ importusage
+ 0.0.1
+ javascript
+ 1.0.0
+ 2.0.0
+ json
+ 0.0.2
+ 0.0.3
+ 2.0.0
+ keydb
+ 1.0.0
+ 2.0.0
+ mail-utils
+ 1.0.0
+ 2.0.0
+ makefile
+ 0.0.1
+ 0.0.2
+ 0.0.3
+ 2.0.0
+ markdown
+ 1.0.0
+ 1.1.0
+ 2.0.0
+ nonstrictunif-optimize
+ 0.0.1
+ opt-parse
+ 0.0.3
+ peval
+ 1.0.0
+ 2.0.0
+ pflp
+ 1.0.0
+ plural-arguments
+ 0.0.1
+ 2.0.0
+ ports
+ 1.0.0
+ profiling
+ 1.0.0
+ prolog
+ 1.0.0
+ 2.0.0
+ regexp
+ 1.0.0
+ 1.1.0
+ rewriting
+ 0.0.1
+ 2.0.0
+ roman
+ 0.0.1
+ 2.0.0
+ runcurry
+ 0.0.1
+ searchtree
+ 1.0.0
+ showflatcurry
+ 0.0.1
+ 1.0.0
+ smtlib
+ 0.0.1
+ smtlib-solver
+ 0.0.1
+ sourceproggui
+ 0.0.1
+ spicey
+ 1.0.0
+ 1.1.0
+ 2.0.0
+ 2.1.0
+ 3.0.0
+ transbooleq
+ 0.2.0
+ 2.0.0
+ ui
+ 1.0.0
+ 2.0.0
+ url
+ 1.0.0
+ verify
+ 0.0.1
+ 0.0.2
+ 2.0.0
+ wl-pprint
+ 0.0.1
+ wui
+ 1.0.0
+ 1.1.0
+ 2.0.0
+ xml
+ 0.0.1
+ 2.0.0
+ xmldata
+ 0.0.1
+ 2.0.0
+ packages
+ abstract-curry-2.0.0
+ src
+ AbstractCurry
+ test
+ cass-2.0.0
+ docs
+ examples
+ src
+ CASS
+ cass-analysis-2.0.0
+ src
+ Analysis
+ clp-pakcs-1.0.0
+ examples
+ src
+ CLP
+ csv-1.0.0
+ src
+ Text
+ currydoc-2.0.0
+ docs
+ include
+ bt3
+ css
+ fonts
+ js
+ src
+ CurryDoc
+ flatcurry-2.0.0
+ src
+ FlatCurry
+ test
+ global-variables-1.0.0
+ src
+ test
+ html-2.0.0
+ examples
+ src
+ HTML
+ Styles
+ markdown-2.0.0
+ docs
+ src
+ transbooleq-2.0.0
+ docs
+ examples
+ src
+ wl-pprint-0.0.1
+ src
+ Text
+ xml-2.0.0
+ examples
+ src
+ pakcs-2.0-homepackage
+ examples\.curry
+ lib\.curry
+ CLP
+ pakcs
+ CLP
+ Test
+ Test
+ lib0\.curry
+ pakcs
+ Test
+ Test
+ lib1\.curry
+ pakcs
+ Test
+ Test
+ lib2\.hide\.curry
+ AbstractCurry
+ pakcs
+ Test
+ Test
+ lib2\.hide
+ AbstractCurry
+ 2ndHome
+ lib1\.curry
+ pakcs
+ Test
+ Test
+ lib2\.hide\.curry
+ AbstractCurry
+ pakcs
+ Test
+ Test
+ lib2\.hide
+ AbstractCurry
+ lib1
+ Test
+ lib2
+ CLP
+ Database
+ CDBI
+ FlatCurry
+ Annotated
+ meta
+ Rewriting
+ Test
+ bin
+ currytools
+ optimize\.cpm
+ packages
+ cass
+ src\.curry
+ CASS
+ pakcs
+ CASS
+ docs
+ examples
+ src
+ CASS
+ cass-analysis
+ src\.curry
+ Analysis
+ pakcs
+ Analysis
+ src
+ Analysis
+ csv
+ src\.curry
+ pakcs
+ Text
+ Text
+ src
+ Text
+ flatcurry
+ src\.curry
+ FlatCurry
+ pakcs
+ FlatCurry
+ src
+ FlatCurry
+ test
+ wl-pprint-0.0.1
+ src
+ Text
+ xml
+ src\.curry
+ pakcs
+ examples
+ src
+ cpns\.curry
+ pakcs
+ www\.curry
+ pakcs
+ cpm
+ src\.curry
+ CPM
+ Diff
+ Package
+ PackageCache
+ Repository
+ pakcs
+ CPM
+ Diff
+ Package
+ PackageCache
+ Repository
+ docs
+ misc
+ src
+ CPM
+ Diff
+ Package
+ PackageCache
+ Repository
+ templates
+ vendor
+ abstract-curry
+ src\.curry
+ AbstractCurry
+ pakcs
+ AbstractCurry
+ src
+ AbstractCurry
+ test
+ boxes
+ src\.curry
+ pakcs
+ src
+ cass
+ src\.curry
+ CASS
+ pakcs
+ CASS
+ docs
+ examples
+ src
+ CASS
+ cass-analysis
+ src\.curry
+ Analysis
+ pakcs
+ Analysis
+ src
+ Analysis
+ cdbi
+ src\.curry
+ Database
+ CDBI
+ pakcs
+ Database
+ CDBI
+ src
+ Database
+ CDBI
+ csv
+ src\.curry
+ pakcs
+ Text
+ Text
+ src
+ Text
+ det-parse
+ src\.curry
+ pakcs
+ src
+ flatcurry
+ src\.curry
+ FlatCurry
+ pakcs
+ FlatCurry
+ src
+ FlatCurry
+ test
+ json
+ src\.curry
+ JSON
+ pakcs
+ JSON
+ src
+ JSON
+ opt-parse
+ src\.curry
+ pakcs
+ src
+ wl-pprint
+ src\.curry
+ pakcs
+ Text
+ Text
+ src
+ Text
+ xml
+ src\.curry
+ pakcs
+ examples
+ src
+ cpns
+ optimize
+ src\.curry
+ pakcs
+ docs
+ examples
+ src
+ www
+ debian
+ bin
+ man
+ patches
+ source
+ docs
+ src
+ lib
+ tooldocs
+ casc
+ cass
+ cpm
+ currybrowse
+ currycheck
+ currydoc
+ currypp
+ ertools
+ peval
+ runcurry
+ spicey
+ transbooleq
+ verify
+ examples
+ distcurry
+ listcomp
+ meta
+ modules
+ frontend
+ bin
+ curry-base
+ debian
+ source
+ dist
+ build
+ autogen
+ Curry
+ AbstractCurry
+ Base
+ CondCompile
+ Files
+ FlatCurry
+ Annotated
+ Syntax
+ package.conf.inplace
+ setup
+ src
+ Curry
+ AbstractCurry
+ Base
+ CondCompile
+ Files
+ FlatCurry
+ Annotated
+ Syntax
+ test
+ util
+ curry-frontend
+ data
+ debian
+ man
+ source
+ dist
+ build
+ autogen
+ Base
+ Checks
+ curry-frontend
+ curry-frontend-tmp
+ Base
+ Checks
+ Env
+ Files
+ Generators
+ Html
+ IL
+ Transformations
+ Env
+ Files
+ Generators
+ Html
+ IL
+ Transformations
+ package.conf.inplace
+ setup
+ src
+ Base
+ Checks
+ Env
+ Files
+ Generators
+ Html
+ IL
+ Transformations
+ test
+ fail
+ ExportCheck
+ pass
+ B
+ warning
+ pkg
+ lib
+ x86_64-linux-ghc-7.10.3
+ clock-0.7.2-25jKxsKUfKCI5az98RdfRZ
+ System
+ curry-base-1.0.0-6GZ9O94TTPy89dONYaaW5A
+ Curry
+ AbstractCurry
+ Base
+ CondCompile
+ Files
+ FlatCurry
+ Annotated
+ Syntax
+ curry-frontend-1.0.2-LpcKBA7BD98DoX8z6ctgpV
+ Base
+ Checks
+ Env
+ Files
+ Generators
+ Html
+ IL
+ Transformations
+ extra-1.6.9-A92M1IW9gob1QEGckM04g1
+ Control
+ Concurrent
+ Exception
+ Monad
+ Data
+ Either
+ IORef
+ List
+ Tuple
+ Typeable
+ Version
+ Numeric
+ System
+ Directory
+ Environment
+ Info
+ IO
+ Process
+ Time
+ Text
+ Read
+ generic-deriving-1.12.2-C9nSySAzcQ2Dd2S5JxIrwi
+ Generics
+ Deriving
+ Base
+ TH
+ set-extra-1.4.1-HR5muxVS8B911FsNmFe9j6
+ Data
+ Set
+ th-abstraction-0.2.8.0-1b4hyp37yqx8zotmtZKka0
+ Language
+ Haskell
+ TH
+ Datatype
+ transformers-compat-0.6.2-1vewSkIAseUD5NtIUrMEw6
+ Control
+ Monad
+ Trans
+ Data
+ Functor
+ Classes
+ Generic
+ pakcs.conf.d
+ share
+ doc
+ x86_64-linux-ghc-7.10.3
+ clock-0.7.2
+ curry-base-1.0.0
+ curry-frontend-1.0.2
+ extra-1.6.9
+ generic-deriving-1.12.2
+ set-extra-1.4.1
+ th-abstraction-0.2.8.0
+ transformers-compat-0.6.2
+ x86_64-linux-ghc-7.10.3
+ curry-frontend-1.0.2
+ include
+ lib
+ CLP
+ Test
+ lib-trunk
+ Test
+ lib0
+ Test
+ lib1
+ Test
+ lib2
+ CLP
+ Database
+ CDBI
+ FlatCurry
+ Annotated
+ meta
+ Rewriting
+ Test
+ scripts
+ src
+ lib_src
+ libswi
+ testsuite
+ LanguageTests
+ LibraryTests
+ SpecialTests
+ TypeclassTests
+ tools
+ Peval\.curry
+ FlatCurry
+ pakcs
+ FlatCurry
+ emacs
+ gedit
+ Peval
+ FlatCurry
+ pdl-tableau
+ people.cs.kuleuven.be
+ ~bart.demoen
+ FCS
+ FCW
+ hProlog
+ PKnows-0.9.9
- vpdl
+ PRESS
+ lpdir
+ misc
+ test
+ pressdir
+ axioms
+ methods
+ misc
+ package
+ pressjunk
+ probs
+ toplevel
+ testing
+ press_handout_document
+ util
+ ProCom
- src
+ Capri
- contrib
+ Tom
+ Doc
- Samples
- Src
+ Doc
+ Old
+ PR
+ Emacs
+ Filter
+ inputs
+ Listing
+ Normalform
+ Otter
+ Pool
+ Prepare
- ProCom
+ default
+ eclipse
+ Misc
+ quintus
- Protein
+ ProTop
+ Reductions
+ Scripts
+ Setheo
+ System
+ PrologAlmostHaskell
+ protein
+ EQTrafo
+ Examples
+ Misc
+ src
+ RCS
+ Papers relevant to PROTEIN and LC_files
- ProSpec
+ DOC
+ auto
+ Examples
+ Misc
- src
+ RCS
+ Test
+ SAMPLES
+ TME2X
+ www
+ RCC-in-ASP
+ Datalog
+ DLV
+ examples
+ path-consistent
+ tapNxN
+ old
+ demo
+ python-aux
+ reflisprelease-5-3-Beta
+ bin
+ bldsqlite
+ doc
+ expat
+ gennmtab
+ sample
+ xmlparse
+ xmltok
+ xmlwf
+ gd-2.0.33
+ config
+ test
+ images
+ lib
+ md5-cc
+ samples
+ sqlite
+ doc
+ src
+ test
+ tool
+ www
+ wwwdocs
+ Architecture of SQLite_files
+ src
+ doc
+ html
+ latex
+ test
+ wiki
+ src
+ wikis
+ default
+ reflisp
+ scmxlate
+ skolemizator
+ sloth770
+ doc
+ common
+ guide
+ manual
+ reference
+ lib
- src
+ tests
+ Babel
+ BasicExpr
+ Constraints
+ DataTypes
+ DefTrees
+ DiffLists
+ Diseq
+ Fd
+ Graph
+ Interactive
+ IO
+ LambdaLifting
+ LetWhere
+ Modules
+ Test1
+ Test2
+ old
+ ParallelTree
+ Prelude
+ Typer
+ util
+ sparc
+ User_Manual\.predictive
+ docs
+ formula_to_prolog
+ reordering
+ sparc_to_formula
+ Licences
+ jcommander
+ src
+ com
+ beust
+ jcommander
+ converters
+ defaultprovider
+ internal
+ validators
+ configuration
+ externaltools
+ org
+ json
+ simple
+ parser
+ parser
+ querying
+ parsing
+ AnswerSets
+ query
+ signatureprinting
+ solving
+ sorts
+ tests
+ translating
+ typechecking
+ utilities
+ warnings
+ test
+ choice_rule
+ display
+ errors
+ programs
+ yulia
+ warnings
+ User_Manual
+ _region_.prv
+ tmp4469tNJ
+ auto
+ thea2
+ apps
+ labelgen
+ grammars
+ mireot
+ opencalais
+ thea_opencalais.txt_files
+ owlmacros
+ semsim
+ webthea
+ webthea_old
+ css
+ js
+ benchmarks
+ bin
+ doc
+ index_files
+ examples
+ owllink
+ iso
+ owl2java
+ owlgres
+ testfiles
+ tools
+ util
+ theorist
+ toy
+ docs
+ examples
+ apifd
+ cflpfd
+ cflpr
+ cooperation
+ debug
+ failure
+ flp
+ fp
+ h_constr
+ lp
+ tads
+ include
+ javaTree
+ sicstus-3.12.8
+ bin
+ library
+ bdb
+ chr
+ clpfd
+ clpq
+ clpqr
+ clpr
+ linda
+ objects
+ vbsp
+ SP311
+ BIN
+ LIBRARY
+ CLPFD
+ CLPR
+ toysequel_files
+ mini_compiler
+ trill
+ probabilistic
+ upv_curry
+ examples
+ turtorial
+ chapter2
+ chapter3
+ chapter4
+ chapter5
+ Whirl
- examples
+ other
+ aviad
+ dma
+ docs
+ aspects
+ web.archive.org
+ web
+ 20080821110610
+ HEQOS3~P
+ www.cotilliongroup.com
+ arts
+ _2X68P~X
+ HEQOS3~P
+ www.cotilliongroup.com
+ keymaker
+ thern
+ source
+ llvm
+ Windows_UI_source
+ Adv
+ Frotz
+ Blorb
+ Generic
+ Glk
+ Git
+ GlkDll
+ Glulxe
+ Include
+ Inform7
+ BuildDate
+ Icon
+ bitmaps
+ Inform7
+ res
+ Scintilla
+ include
+ src
+ win32
+ Installer
+ PlugIn
+ Interpreters
+ Frotz
+ Git
+ Glulxe
+ Test
+ Libraries
+ hunspell
+ jpeg
+ libmodplug
+ libogg
+ include
+ ogg
+ src
+ libpng
+ libvorbis
+ include
+ vorbis
+ lib
+ books
+ coupled
+ floor
+ uncoupled
+ modes
+ mfc
+ scalegfx
+ zlib
+ www-users.cs.umn.edu
+ ~gini
+ aiprog
+ aima
+ agents
+ agents
+ algorithms
+ environments
+ doc
+ language
+ algorithms
+ domains
+ learning
+ agents
+ algorithms
+ domains
+ logic
+ agents
+ algorithms
+ domains
+ environments
+ planning
+ search
+ agents
+ algorithms
+ domains
+ environments
+ uncertainty
+ agents
+ algorithms
+ domains
+ environments
+ utilities
+ c++search
+ demos
+ doc
+ include
+ lib
+ src
+ aosear
+ bisear
+ list
+ nodes
+ object
+ unisear
+ dean
+ 03.Logic
+ C++Code
+ DataDependencies
+ Unification
+ LispCode
+ 04.Search
+ C++Code
+ Discrimination
+ Genetic
+ Search
+ LispCode
+ 05.Learning
+ C++Code
+ Decision
+ PDP
+ Perceptron
+ Version
+ LispCode
+ 06.Advanced
+ C++Code
+ Temporal
+ LispCode
+ 07.Planning
+ C++Code
+ RefinePlans
+ StateSpaceSearch
+ LispCode
+ 08.Uncertainty
+ C++Code
+ Uncertainty
+ LispCode
+ 09.Vision
+ C++Code
+ Waltz
+ LispCode
+ 10.Language
+ C++Code
+ Parser
+ LispCode
+ C++Support
+ SchemeSupport
+ graham
+ norvig
+ rich-knight
+ shoham
+ chapter2
+ chapter3
+ chapter4
+ chapter5
+ chapter6
+ chapter7
+ chapter8
+ chapter9
+ winston
+ www.sci.brooklyn.cuny.edu
- ~zhou
- asp11
- asp13
+ aspcompetition
+ xray
+ yadlr
+ examples
+ iris
+ trains
- pl
+ t
+ wget-mirrors
+ cse.unl.edu
+ ~riedesel
+ pub
+ cse413
+ Contest
+ Project 1
+ Project 2
+ GET.rtfd
+ globals.rtfd
+ SESSION.rtfd
+ setcookie.rtfd
+ Sql156
+ Xml
+ Xquery
+ www.cic.unb.br
+ ~nalon
+ css
+ escrita
+ images
+ js
+ papers
+ seminars
+ software
+ www.cs.toronto.edu
+ www.cs.ubc.ca
+ ~poole
+ ci
+ code
+ cilog
+ www.cs.unb.ca
+ ~bspencer
+ cs4725
+ lectures
+ ch1
+ ch11
+ ch12
+ ch2
+ ch4
+ ch5
+ ch6
+ ch7
+ ch8
+ logicmoo_planners_xtra
+ free-life-planner\.flora_aux_files
+ cpah-20160811
+ dnf-contingent-20160811
+ DNFct_run
+ domains
+ CpA
+ PDDL
+ 1dispose
+ blocks
+ btcs
+ btnd
+ bts
+ cc
+ clog
+ colorball
+ dispose
+ doors
+ ebtcs
+ ebtnd
+ ebts
+ egrid
+ elogistics
+ erovers
+ grid
+ localize
+ logistics
+ medical
+ medpks
+ omlette
+ push
+ rovers
+ unix
+ wumpus
+ DNFct_run1
+ DNFct_source
+ DNFct_source_frdcsa
+ DNFct_source~
+ reset
+ domains
+ CpA
+ PDDL
+ 1dispose
+ blocks
+ btcs
+ btnd
+ bts
+ cc
+ clog
+ colorball
+ dispose
+ doors
+ ebtcs
+ ebtnd
+ ebts
+ egrid
+ elogistics
+ erovers
+ grid
+ localize
+ logistics
+ medical
+ medpks
+ omlette
+ push
+ rovers
+ unix
+ wumpus
+ dnfct-frdcsa
+ data-git
+ doc
+ frdcsa
+ scripts
+ systems
+ contingent-benchmarks-20170702
+ AL
+ PDDL
+ 1dispose
+ blocks
+ btcs
+ btnd
+ bts
+ cc
+ clog
+ colorball
+ dispose
+ doors
+ ebtcs
+ ebtnd
+ ebts
+ egrid
+ elogistics
+ erovers
+ grid
+ localize
+ logistics
+ medical
+ medpks
+ omlette
+ push
+ rovers
+ unix
+ wumpus
+ dnf-contingent-20160811
+ DNFct_run
+ indigent_logistics
+ orig
+ worlds
+ wrappers
+ dnfct-git
+ dnd
+ 1
+ current
+ indigent_logistics
+ 1
+ 2
+ 3
+ 4
+ 5
+ current
+ orig
+ personal_finance
+ 1
+ 2
+ current
+ prolog_agent
+ 1
+ 2
+ current
+ DNFct_source
+ free-life-planner
+ api
+ nutcracker
+ attempts
+ 2
+ data-git
+ systems
+ planning
+ multi-agent
+ gdl
+ 3
+ data-git
+ systems
+ planning
+ multi-agent
+ gdl
+ orig
+ data-git
+ systems
+ planning
+ multi-agent
+ gdl
+ doc
+ frdcsa
+ lib
+ calendaring
+ t
+ flux
+ swipl_flux
+ prioritize-features
+ scripts
+ data-git
+ systems
+ chore_charts
+ kbs2-updates
+ 20170307164730
+ library
+ religion
+ christianity
+ en.wikipedia.org
+ wiki
+ judaism
+ en.wikipedia.org
+ wiki
+ planning
+ fluents_data
+ multi-agent
+ gdl
+ window
+ _WOXB2~G
+ chessprogramming - Horizon Effect_files
+ 1FrCxLMQ5eI_data
+ HACN1M~P
+ HE96KH~O
+ LearnCitations_data
+ likebox_data
+ Horizon effect - Wikipedia, the free encyclopedia_files
+ doc
+ Catalyst Advent Calendar - Day 22_files
+ gamification
+ incorrect
+ important
+ milestones
+ references
+ stories
+ M0OJAH~3
+ SWI-Prolog -- Manual_files
+ SWI-Prolog -- process_create_3_files
+ www.vice.com
+ read
+ frdcsa
+ emacs
+ sys
+ cso
+ autoload
+ flp
+ autoload
+ notifications
+ semantics
+ logics
+ kbs
+ backup
+ 20170604234039
+ lib
+ calendaring
+ t
+ flux
+ swipl_flux
+ util
+ module-system
+ projects
+ alexa-integration
+ AlexaNotificationCurl\.old-git
+ hooks
+ info
+ logs
+ refs
+ heads
+ remotes
+ origin
+ objects
+ 06
+ 10
+ 12
+ 1f
+ 2d
+ 35
+ 40
+ 47
+ 59
+ 5d
+ 6a
+ 70
+ 75
+ 84
+ 99
+ a2
+ ba
+ da
+ dd
+ refs
+ heads
+ remotes
+ origin
+ AlexaNotificationCurl
+ data-git
+ system-sounds
+ doc
+ Deploying a Sample Custom Skill as a Web Service - Amazon Apps & Services Developer Portal_files
+ developer.amazon.com
+ public
+ solutions
+ alexa
+ alexa-skills-kit
+ docs
+ guides_article.md at master · pluralsight_guides · GitHub_files
+ frdcsa
+ sys
+ flp
+ autoload
+ links
+ shinycms-oauth-2.0
+ new
+ alexa-skills-kit-java
+ samples
+ target
+ classes
+ maven-archiver
+ maven-status
+ maven-compiler-plugin
+ compile
+ default-compile
+ surefire
+ sample-custom-skill-as-web-service
+ alexa-skills-kit-java
+ javadoc
+ com
+ amazon
+ speech
+ json
+ slu
+ speechlet
+ authentication
+ interfaces
+ audioplayer
+ directive
+ request
+ playbackcontroller
+ request
+ system
+ request
+ lambda
+ servlet
+ verifier
+ ui
+ samples
+ src
+ main
+ java
+ helloworld
+ speechAssets
+ historybuff
+ speechAssets
+ minecrafthelper
+ speechAssets
+ customSlotTypes
+ org
+ frdcsa
+ unilang
+ agent
+ util
+ savvyconsumer
+ speechAssets
+ customSlotTypes
+ scorekeeper
+ speechAssets
+ customSlotTypes
+ storage
+ session
+ speechAssets
+ customSlotTypes
+ spacegeek
+ speechAssets
+ tidepooler
+ speechAssets
+ customSlotTypes
+ wiseguy
+ speechAssets
+ customSlotTypes
+ resources
+ src
+ com
+ amazon
+ speech
+ json
+ slu
+ speechlet
+ authentication
+ interfaces
+ audioplayer
+ directive
+ request
+ playbackcontroller
+ request
+ system
+ request
+ lambda
+ servlet
+ verifier
+ ui
+ target
+ maven-archiver
+ scripts
+ scripts-2
+ scripts
+ alexa-voice-service
+ export
+ alexa-cert
+ gdl
+ module-system
+ flp-template
+ doc
+ mprolog
+ prioritize-features
+ recommended-tasks
+ reverse-engineering-lpg-td-1.0
+ LPG-1.2-source
+ LPG
+ HillClimbingSearch
+ include
+ LocalSearch
+ Parser
+ Utilities
+ Satellite
+ Complex
+ Numeric
+ SimpleTime
+ Strips
+ Time
+ semantics
+ logics
+ swipl-emacs
+ Bruda.CA - Emacs - Prolog Mode for Emacs_files
+ ediprolog — Emacs does Interactive Prolog_files
+ PceProlog - Emacs definitions for Prolog development_files
+ release
+ resources
+ sample
+ scripts
+ nlu-mf-cleanup
+ prolog
+ pytodoist.readthedocs.io
+ en
+ latest
+ runners
+ etc
+ init.d
+ semantics
+ staging
+ t
+ tmp
+ pddl
+ AIPS-2000DataFiles
+ 2000-Results
+ Blocks
+ Track1
+ Track2
+ Elevator
+ M10-Full
+ M10-Full-Space
+ M10-Simple
+ M10-Strips
+ Freecell
+ Track1
+ Track2
+ Logistics
+ Track1
+ Track2
+ Schedule
+ Track1
+ Track2
+ 2000-Tests
+ Blocks
+ Track1
+ Typed
+ Additional
+ Untyped
+ Additional
+ Track2
+ Additional
+ Elevator
+ m10-Full
+ m10-simple
+ m10-Strips-Untyped
+ m10-strips
+ FreeCell
+ Extras
+ Typed
+ Untyped
+ Logistics
+ Track1
+ Typed
+ Additional
+ Untyped
+ Additional
+ Track2
+ Additional
+ Schedule
+ Strips
+ Typed
+ Untyped
+ elearning
+ frolog
+ GameScenarios
+ FairyTaleCastle
+ ObjectGrammarGeni
+ ObjectGrammarTulipa
+ PlanningProblems
+ SourceGrammarXMG
+ KBInterfaces
+ PlannerInterface
+ Blackbox
+ Pks
+ RacerInterface
+ RacerPro-1-9-2-beta
+ RacerPro-Linux32-1-9-3-Beta
+ locales
+ known_bugs
+ Main
+ NLPModules
+ Actions
+ ContentDetermination
+ Parsing
+ Realization
+ ReferenceGeneration
+ ReferenceResolution
+ Tools
+ UserInterface
+ hakank-pddl
+ hsp2_1_0_pddl
+ blocks
+ driverlog
+ elevators
+ freecell
+ grid
+ logistics00
+ logistics98
+ mprime
+ openstacks
+ parcprinter-strips
+ pegsolitaire
+ pipesworld-notankage
+ pipesworld-tankage
+ planner
+ rovers
+ satellite
+ scananalyzer
+ sokoban
+ tpp
+ transport
+ woodworking-strips
+ zenotravel
+ hsp_1_12_pddl
+ aips98
+ round1
+ gripper
+ logistics
+ movie
+ mprime
+ mystery
+ round2
+ grid
+ logistics
+ mprime
+ blocks-world
+ blocks-world2
+ briefcase
+ ferry
+ gripper
+ hanoi
+ logistics
+ logistics2
+ meet-pass
+ monkey
+ morris
+ movie
+ rockets
+ tire-world
+ tire-world2
+ travel
+ hspr_1_02_pddl
+ blocks-world
+ logistics
+ logistics-round2-aips98
+ others
+ ipc2008-no-cybersec
+ netben-opt
+ crewplanning-numeric
+ elevators-numeric
+ elevators-strips
+ openstacks-adl
+ openstacks-numericadl
+ openstacks-stripsneg
+ pegsol-strips
+ transport-numeric
+ woodworking-numeric
+ seq-opt
+ elevators-strips
+ openstacks-adl
+ openstacks-strips
+ parcprinter-strips
+ pegsol-strips
+ scanalyzer-strips
+ sokoban-strips
+ transport-strips
+ woodworking-strips
+ seq-sat
+ elevators-strips
+ openstacks-adl
+ openstacks-strips
+ parcprinter-strips
+ pegsol-strips
+ primaryobjects_strips
+ aircargo
+ blocksworld1
+ blocksworld2
+ blocksworld3
+ blocksworld4
+ blocksworld5
+ cake
+ dinner
+ dockworkerrobot
+ problem1
+ problem2
+ rubikscube
+ starcraft
+ regression-tests
+ tesis-PDDL
+ uw-yale-pddl
+ doc
+ domains
+ transplan
+ washington
+ src
+ strict-domains
+ art
+ art-1d
+ art-1d-rd
+ art-md
+ art-md-ns
+ art-md-ns-rd
+ art-md-rd
+ assembly
+ blocks-world
+ briefcase
+ d1s1
+ eight
+ ferry
+ fridge
+ gripper
+ homeowner
+ logistics
+ meet-pass
+ molgen
+ monkey
+ montlake
+ morris
+ movie
+ mystery
+ occam
+ safety-domain
+ tire-world
+ trains
+ transplan
+ travel
+ truckworld
+ woodshop
+ prolog
+ logicmoo
+ Papers
+ planform-website
+ gipo
+ docs
+ icons
+ overview
+ student_domains
+ gipo_install
+ jplan
+ docs
+ icons
+ overview
+ domains
+ icons
+ library
+ edexpt
+ general
+ graphics
+ gTool
+ Graphics
+ Windows
+ transition
+ images
+ ocl
+ pddl
+ ptools
+ tmp
+ tools
+ animator
+ lifeHist
+ resources
+ opmaker
+ sketch
+ stepper
+ top
+ lib
+ sicstus3.11.1
+ bin
+ sp311
+ bin
+ library
+ resource
+ domains
+ htn
+ T1
+ T4
+ HyHTN
+ sig2
+ tools
+ planner
+ bkwld_pddl_parser
+ Blocks_world
+ fsaplanner
+ golog
+ Delivery
+ Main
+ hyhtn
+ misc_planner
+ Rakiduam07
+ continuos
+ socket_udp
+ teps
+ foTranslator
+ domains
+ robot
+ zenotravel
+ propTranslator
+ domains
+ robot
+ test_suites
+ tlplan-files
+ Logistics
+ Robot
+ ZenoTravel
+ translator-files
+ Logistics
+ Robot
+ ZenoTravel
+ tesis
+ Presentación Defensa 30-10
+ Tesis
+ WICC 2011 Final
+ reasoner
+ decreasoner
+ doc
+ examples
+ AkmanEtAl2004
+ Antoniou1997
+ BrewkaDixKonolige1997
+ Cassimatis2002
+ FrankEtAl2003
+ GiunchigliaEtAl2004
+ Manual
+ MillerShanahan2002
+ Mueller2004a
+ Mueller2004b
+ Mueller2006
+ Chapter10
+ Chapter11
+ Chapter12
+ Chapter13
+ Chapter14
+ Chapter2
+ Chapter3
+ Chapter4
+ Chapter6
+ Chapter7
+ Chapter8
+ Chapter9
+ Exercises
+ ReiterCriscuolo1981
+ Shanahan1997
+ Shanahan1999
+ foundations
+ includes
+ SaaSPatterns
+ PolicyPatterns
+ PolicySetPatterns
+ RulesPatterns
+ software
+ gmp-4.3.1\.libs
+ gmp-3.1
+ mpf\.libs
+ mpn\.libs
+ mpq\.libs
+ mpz\.libs
+ demos
+ doc
+ macos
+ mpbsd
+ tests
+ mpf
+ tests
+ mpfr
+ tests
+ mpn
+ a29k
+ alpha
+ ev5
+ ev6
+ arm
+ clipper
+ cray
+ generic
+ hppa
+ hppa1_1
+ pa7100
+ hppa2_0
+ i960
+ lisp
+ m68k
+ mc68020
+ m88k
+ mc88110
+ mips2
+ mips3
+ ns32k
+ pa64
+ pa64w
+ power
+ powerpc32
+ powerpc64
+ pyr
+ sh
+ sh2
+ sparc32
+ v8
+ supersparc
+ v9
+ sparc64
+ tests
+ thumb
+ vax
+ x86
+ k6
+ k62mmx
+ mmx
+ k7
+ mmx
+ p6
+ mmx
+ p3mmx
+ pentium
+ mmx
+ z8000
+ z8000x
+ mpq
+ tests
+ mpz
+ tests
+ tests
+ rand
+ tune
+ gmp-4.3.1
+ mpf\.libs
+ mpn\.libs
+ mpq\.libs
+ mpz\.libs
+ printf\.libs
+ scanf\.libs
+ cxx
+ demos
+ calc
+ expr
+ perl
+ GMP
+ doc
+ macos
+ mpbsd
+ mpf
+ mpn
+ a29k
+ alpha
+ ev5
+ ev6
+ nails
+ ev67
+ arm
+ clipper
+ cray
+ cfp
+ ieee
+ generic
+ i960
+ ia64
+ lisp
+ m68k
+ mc68020
+ m88k
+ mc88110
+ minithres
+ mips32
+ mips64
+ ns32k
+ pa32
+ hppa1_1
+ pa7100
+ hppa2_0
+ pa64
+ power
+ powerpc32
+ 750
+ vmx
+ powerpc64
+ mode32
+ mode64
+ vmx
+ pyr
+ s390
+ sh
+ sh2
+ sparc32
+ v8
+ supersparc
+ v9
+ sparc64
+ thumb
+ vax
+ x86
+ fat
+ i486
+ k6
+ k62mmx
+ mmx
+ k7
+ mmx
+ p6
+ mmx
+ p3mmx
+ sse2
+ pentium
+ mmx
+ pentium4
+ mmx
+ sse2
+ x86_64
+ atom
+ core2
+ pentium4
+ z8000
+ z8000x
+ mpq
+ mpz
+ printf
+ scanf
+ tests
+ cxx
+ devel
+ misc
+ mpbsd
+ mpf
+ mpn
+ mpq
+ mpz
+ rand
+ tune
+ ply-1.6
+ doc
+ example
+ ansic
+ calc
+ classcalc
+ hedit
+ optcalc
+ test
+ Tools
+ relsat-dist
+ solvers
+ ecnet
+ t
+ ref_unused
+ notatroot
+ OLD_logicmoo
+ benchmarks
+ prologTestFiles
+ sigma_ace
+ Corpus%20Testing
+ engine
+ Attic
+ Grammar%20Rules
+ Utilities
+ GULP
+ Importing%20WordNet%20Lexicon
+ KIF%20to%20Prolog%20Translation
+ logicmoo
+ benchmarks
+ prologTestFiles
+ Server
+ web
+ com
+ tks
+ celt
+ speech
+ tau
+ fwd
+ parser
+ ..\..\prolog.vpj
- ..\PrologMUDDebug.vpj
+ adventures
+ flp
+ templates
+ flp
+ worlds
+ flp
+ flux-frdcsa
+ amzi
+ amzi-tutorial
+ data-git
+ capsules
+ 6_nursebot
+ amzibot
+ finance
+ 1
+ current
+ nested
+ prologagent
+ 1
+ 2
+ 3
+ 4
+ 5
+ 6
+ 7
+ 8
+ 9
+ security
+ wsm
+ 1
+ 2
+ current
+ eclipse-pl
+ frdcsa
+ julian
+ prolog
+ julian
+ calendar
+ t
+ calendar
+ form
+ old
+ prolog-planning-library
+ charts
+ docs
+ output
+ test
+ blocks
+ elevators
+ gripper
+ hanoi
+ state
+ swipl_flux
+ ..\bin
+ eggdrop
+ conf
+ prolog
+ flux-frdcsa
+ amzi
+ amzi-tutorial
+ data-git
+ capsules
+ 6_nursebot
+ amzibot
+ security
+ eclipse-pl
+ julian
+ prolog
+ julian
+ calendar
+ t
+ calendar
+ form
+ misc
+ prolog-planning-library
+ charts
+ docs
+ output
+ test
+ blocks
+ elevators
+ gripper
+ hanoi
+ state
+ ..\lib
+ swipl
+ boot
+ swipl-7.7.18
+ boot
+ logicmoo_base
- prolog
- logicmoo
- common_logic
+ math
+ mathnotes
+ files.bak
+ orig
+ pms
+ orig
+ pressdir
+ axioms
+ methods
+ misc
+ package
+ pressjunk
+ probs
+ toplevel
+ testing
+ press_handout_document
+ util
+ motel
+ pdt_server
+ org.cs3.pdt.analysis_3.1.2.201603251848
+ pl
+ org.cs3.pdt.builder_3.1.2.201603251848
+ prolog-src
+ analyzer
+ util
+ org.cs3.pdt.common_3.1.2.201603251848
+ pl
+ callgraph
+ lgt
+ metainference
+ xref
+ testcase
+ org.cs3.pdt.connector_3.1.2.201603251848
+ pl
+ lgt
+ schema
+ org.cs3.pdt.console_3.1.2.201603251848
+ pl
+ org.cs3.pdt.editor_3.1.2.201603251848
+ org
+ cs3
+ pdt
+ editor
+ internal
+ views
+ testdata
+ pl
+ editor
+ lgt
+ org.cs3.pdt.graphicalviews_3.1.2.201603251848
+ pl
+ lgt
+ org.cs3.prolog.connector_3.1.2.201603251848
+ META-INF
+ maven
+ org.cs3.roots
+ org.cs3.prolog.connector
+ org
+ cs3
+ prolog
+ connector
+ internal
+ cterm
+ parser
+ process
+ socket
+ process
+ org.cs3.prolog.library_3.1.2.201603251848
+ META-INF
+ maven
+ org.cs3.roots
+ org.cs3.prolog.library
+ pl
+ pfc
+ plarkc
+ pttp
+ tptp
+ leancop
- pdl-tableau
+ tptp2x
- typesystem
+ xray
+ logicmoo_utils
- prolog
- debuggery
- logicmoo
- xlisting
+ pixmaps
+ swish_lib
+ render
+ t
+ MKM
+ prolog
+ leancop
+ pdl-tableau
+ tptp2x
+ tptp-in
+ narration
+ category_theory
+ foundations
+ hollight
+ imps
+ isabelle
+ minimal
+ mizar
+ zfc
+ literals
+ logics
+ casl
+ common_logic
+ description
+ owl
+ first-order
+ model_theory
+ proof_theory
+ soundness
+ syntax
+ higher-order
+ modal
+ propositional
+ model_theory
+ categorical
+ proof_theory
+ soundness
+ syntax
+ second-order
+ substructural
+ tptp
+ math
+ translations
+ curry_howard
+ dn
+ Glivenko-Kuroda
+ fol-ifol
+ prop-iprop
+ fol-sfol
+ ml-fol
+ prop-hol
+ sfol-fol
+ sfol-hol
+ type_theory-zfc
+ type_theories
+ Church-style
+ Curry-style
+ old
+ OMDOC
+ category_theory
+ dfol_based
+ lf_based
+ foundations
+ ftt
+ hol
+ hollight
+ interface
+ isabelle
+ lutins
+ minimal
+ mizar
+ type_theory
+ church
+ zfc
+ literals
+ logics
+ description
+ owl
+ owl.omdoc
+ owl2.omdoc
+ model_theory
+ categorical
+ kripke
+ proof_theory
+ syntax
+ focused
+ tptp
+ math
+ translations
+ fol-sfol
+ fol_ifol
+ ml_fol
+ prop_iprop
+ stt_prop
+ type_theories
+ nmtt_prolog
+ COLATE
+ category_theory
+ dfol_based
+ lf_based
+ foundations
+ ftt
+ hol
+ hollight
+ imps
+ interface
+ isabelle
+ lutins
+ minimal
+ mizar
+ type_theory
+ church
+ zfc
+ literals
+ logics
+ casl
+ common_logic
+ description
+ owl
+ owl.omdoc
+ owl2.omdoc
+ first-order
+ model_theory
+ proof_theory
+ soundness
+ syntax
+ higher-order
+ modal
+ model_theory
+ categorical
+ kripke
+ proof_theory
+ propositional
+ model_theory
+ categorical
+ proof_theory
+ soundness
+ syntax
+ second-order
+ substructural
+ syntax
+ focused
+ tptp
+ math
+ translations
+ curry_howard
+ dn
+ Glivenko-Kuroda
+ fol-ifol
+ prop-iprop
+ fol-sfol
+ fol_ifol
+ ml-fol
+ ml_fol
+ prop-hol
+ prop_iprop
+ sfol-fol
+ sfol-hol
+ stt_prop
+ type_theory-zfc
+ type_theories
+ Church-style
+ Curry-style
+ old
+ olswi
+ prolog
+ bin
+ demo
+ doc
+ lib
+ poem
+ src
+ ..\packs_xtra
+ logicmoo_nlu
+ prolog
+ ape
+ examples
+ lexicon
+ logger
+ parser
+ tests
+ utils
+ owlswrl
+ chat80
+ chat80_regress
+ pfc
+ prolog
+ pfc2.0
+ pfclib
+ prologmud
+ prolog
+ prologmud
+ actions
+ mobs
+ affordance
+ objs
+ parsing
+ server
+ vworld
+ prologmud_web
+ src_assets
+ src_webui
+ assetsources
+ http
+ web
+ css
+ icons
+ js
+ model
+ mudconsole
+ t
+ prologmud_samples
- prolog
+ prologmud_sample_games\.config
+ butterfly
+ prologmud_sample_games\.swipl-dir-history
- prologmud_sample_games
+ tempDir\.swipl-dir-history
+ tempDir\.xpce
+ attic
+ btepisode
+ circlemuddata
+ config-enabled-cliop
+ config-enabled-swish
+ gitty
+ eggdrop
+ conf
+ prolog
+ t
- src_game_nani
- web
+ css
+ icons
+ js
+ prolog
+ snd
+ src_game_sims
+ web
+ css
+ icons
+ js
+ prolog
+ snd
+ src_game_startrek
+ holodeck
+ mobs
+ web
+ css
+ icons
+ js
+ prolog
+ snd
+ src_game_wumpus
+ tempDir
+ data
+ avatars
+ chat
+ a3
+ 8a
+ gv.git
+ hooks
+ info
+ log
+ logtalk-scratch
+ RDF-store
+ 00
+ 98
+ 04
+ e1
+ 05
+ f0
+ 0c
+ 3b
+ e9
+ 0d
+ 50
+ 15
+ c9
+ 17
+ 38
+ 91
+ 1b
+ 33
+ 3e
+ 8b
+ 1d
+ 08
+ 20
+ 15
+ 21
+ ee
+ 26
+ c0
+ 27
+ 02
+ 2c
+ eb
+ 31
+ 10
+ 40
+ 5d
+ 35
+ e4
+ 36
+ 5e
+ 3e
+ b5
+ 43
+ 0c
+ 46
+ 60
+ 87
+ 4d
+ 0b
+ 54
+ ba
+ 5c
+ 1f
+ 5e
+ 42
+ ab
+ e3
+ 63
+ 49
+ 6b
+ 7a
+ 6c
+ cf
+ 71
+ 03
+ 35
+ 77
+ 7e
+ 80
+ c7
+ 82
+ 84
+ 84
+ 02
+ 87
+ d1
+ 89
+ 72
+ 92
+ 6a
+ 95
+ ab
+ d2
+ 98
+ 2b
+ 2c
+ 9d
+ e9
+ a2
+ d6
+ e5
+ b1
+ 72
+ b8
+ b1
+ e2
+ bb
+ f9
+ be
+ 4f
+ ca
+ 32
+ cd
+ df
+ ce
+ 32
+ d1
+ b5
+ d5
+ f1
+ d6
+ db
+ d9
+ c3
+ dd
+ 7c
+ e6
+ 39
+ 4a
+ e9
+ 54
+ f1
+ 9d
+ f6
+ 83
+ df
+ fc
+ 2e
+ fd
+ f9
+ ff
+ 24
+ 82
+ sicstus-4.4.1
+ doc
+ html
+ sicstus
+ library
+ bdb
+ chr
+ examples
+ orig_files
+ errors
+ warnings
+ clpfd
+ examples
+ clpq
+ clpqr
+ examples
+ monash
+ clpr
+ comclient
+ examples
+ jasper
+ examples
+ linda
+ perf
+ pillow
+ examples
+ prologbeans
+ examples
+ evaluate
+ pbtest
+ sessionsum
+ prologbeans.NET
+ examples
+ pbtest.NET
+ tcltk
+ examples
+ x86_64-linux-glibc2.17
+ zinc
+ examples
+ G12
+ globals
+ tests
+ fcts
+ builtins
+ array
+ bool
+ int
+ globals
+ output
+ search
+ se
+ sics
+ jasper
+ prologbeans
- small_adventure_games
+ iwfms
+ cgi-bin
+ configuration
+ htmlTyping
+ knowledgeBase
+ planner
+ old planner versions
+ includes
+ library
+ forminputs
+ htmltyping
+ specifications
+ hospital
+ actions
+ forms
+ hospitalDomainInformation
+ plannerRequirements
+ progressions
+ roles
+ userInput
+ workflowUnits
+ workflowModels
+ hospital_CreationGroupN
+ actions
+ forms
+ hospitalDomainInformation
+ plannerRequirements
+ progressions
+ roles
+ userInput
+ workflowUnits
+ hospital_formsBasedOnGroup
+ actions
+ forms
+ hospitalDomainInformation
+ plannerRequirements
+ progressions
+ roles
+ userInput
+ workflowUnits
+ hospital_javaScript
+ actions
+ forms
+ hospitalDomainInformation
+ plannerRequirements
+ progressions
+ roles
+ userInput
+ workflowUnits
+ hospital_javaScriptPres
+ actions
+ forms
+ hospitalDomainInformation
+ plannerRequirements
+ progressions
+ roles
+ userInput
+ workflowUnits
+ hospital_performanceTest
+ actions
+ forms
+ hospitalDomainInformation
+ plannerRequirements
+ progressions
+ roles
+ userInput
+ workflowUnits
+ Meta-AQUA
+ allegro-projects
+ allegro-projects
+ project1
+ allegro-projects
+ project1
+ Frame
+ java-windows
+ Nonlin
+ Poirot
+ connector-archive
+ misc-files
+ test
+ Representations
+ Results
+ Tale-spin
- prolog
+ chat80\.xpce
+ ape
+ lexicon
+ boxer
+ knowledge
+ lex
+ ccalc
- examples
- additive
+ airport
+ nmct
- traffic
+ zoo
- tutorial
+ chat80
+ chat80_lm
+ dialect
+ logicmoo
- ec_planner
+ aiswi
+ dist
- javadoc
+ index-files
+ javasciff
+ class-use
+ resources
+ test
+ class-use
+ img
+ project_template
+ relazione
+ sciff
+ src
+ gamegui
+ icons
- javasciff
+ lib
- test
+ xml
+ code_icl
+ ecnet
- ectest
+ examples
+ AkmanEtAl2004
+ Antoniou1997
+ BrewkaDixKonolige1997
+ Cassimatis2002
+ FrankEtAl2003
+ GiunchigliaEtAl2004
+ Manual
+ MillerShanahan2002
+ Mueller2004a
+ Mueller2004b
+ Mueller2006
+ Chapter10
+ Chapter11
+ Chapter12
+ Chapter13
+ Chapter14
+ Chapter2
+ Chapter3
+ Chapter4
+ Chapter6
+ Chapter7
+ Chapter8
+ Chapter9
+ Exercises
+ ReiterCriscuolo1981
+ Shanahan1997
+ Shanahan1999
+ foundations
+ includes
+ SaaSPatterns
+ PolicyPatterns
+ PolicySetPatterns
+ RulesPatterns
+ iwfms
+ PKnows-0.9.9
- vpdl
+ RTEC
- doc
+ graphics
- examples
- BPM
- experiments
- data
- queries
+ setting-1
- caviar
- CE patterns
- data
- complete caviar
- execution scripts
- complete caviar
- ctm
- CE patterns
+ data
- 100_vehicles
+ 0-1000
+ 1000-2000
+ 10000-11000
+ 11000-12000
+ 12000-13000
- 13000-14000
+ 14000-15000
+ 15000-16000
+ 16000-17000
+ 17000-18000
+ 18000-19000
+ 19000-20000
+ 2000-3000
+ 20000-21000
+ 21000-22000
+ 22000-23000
+ 23000-24000
+ 24000-25000
+ 25000-26000
+ 26000-27000
+ 27000-28000
+ 28000-29000
+ 29000-30000
+ 3000-4000
+ 30000-31000
+ 31000-32000
+ 32000-33000
+ 33000-34000
+ 34000-35000
+ 35000-36000
+ 36000-37000
+ 37000-38000
+ 38000-39000
+ 39000-40000
+ 4000-5000
+ 40000-41000
+ 41000-42000
+ 42000-43000
+ 43000-44000
+ 44000-45000
+ 45000-46000
+ 46000-47000
+ 47000-48000
+ 48000-49000
+ 49000-50000
+ 5000-6000
+ 6000-7000
+ 7000-8000
+ 8000-9000
+ 9000-10000
- execution scripts
- 100_vehicles
- maritime
- CE patterns
- simpleMaritimePatterns
+ data
- dynamic
- static
- areaIDs
+ depth
+ patternsParameters
+ portRelatedData
+ vesselInformation
- execution scripts
+ results
- utils
+ data loader
- spatial
- toy
+ voting
+ experiments
+ data
+ queries
+ setting-1
- src
+ utilities
+ src-dsc-msc
+ utilities
+ src-master
+ utilities
+ src-v2
+ utilities
+ theorist
- cilog_code
- ch2
- ch3
- ch4
- ch6
- ch8
+ Tom
+ Doc
- Samples
+ Src
+ xray
+ yadlr
+ examples
+ iris
- trains
- pl
- homelessExpertSystem
+ hyhtn
+ marty_white
+ nldata
+ WNprolog-3.0
+ prolog
+ nnfFilter
+ blocks-generator-seq
+ blocks-world-exper
+ chess-domain-exper
+ nutcracker
+ pfc_3_0
+ ex
+ man
+ misc
+ src
+ programk
+ prologmud
+ actions
+ mobs
+ affordance
+ objs
+ parsing
+ server
+ vworld
+ sciff
+ semlib
+ startrek
+ student_cis_554
+ alamuru--lasya_4897668_48619681_Lasya_Assignment2
+ Lasya_Assignment2
+ alle--karthik_4897344_48620066_Karthik Alle-HW2
+ bahal--akriti_4922324_48611384_HW2
+ HW2
+ bollmann--dominik_5127053_48590865_bollmann
+ colton--gabriel_5157640_48618314_HW_2_Gabe_Colton
+ HW_2_Gabe_Colton
+ das--anwesha_5126675_48618921_Anwesha Das Assign 2
+ PP assign 2
+ fnu--sonal_4897942_48619808_hw2Sonal
+ hw2Sonal
+ gangadharan--shreejit_5127493_48612477_shreejithw2
+ gupta--urvashi_4898614_48609641_hw2
+ gupta--varun_3761345_48607143_HW2-Varun_Gupta
+ HW2
+ hu--xiaoxiang_4898072_48620117_CIS554_AdventureGame
+ katz--jacob_4899026_48598925_katzja_AdventureGame
+ katzja_AdventureGame
+ kumagai--takumi-late_4928679_48624098_HW2
+ HW2
+ lee--jasmine_3761167_48617088_jasmine_lee_hw2
+ jasmine_lee_hw2
+ lee--paul_4899684_48619518_assignment2
+ assignment2
+ lewis--john_4897467_48618635_lewis_john_hw2
+ liu--muruo_5136129_48565801_Archive
+ lockett--jemale_5148459_48619853_assignment2
+ luo--liang_4899178_48609531_HW2-LiangLuo
+ oconnor--michael_4910157_48615290_hwk2_mpo
+ pang--lanlan_4898262_48561882_HW2_Lanlan Pang
+ HW2_Lanlan Pang
+ panuganti--deepti_5126998_48619355_Deepti_Game
+ stiefel--aryeh_5126720_48612212_Homework 2
+ Homework 2
+ suen--ka-chuan_5123821_48594467_a_day_at_school
+ swavely--rigel_4902245_48609910_hw2
+ hw2
+ vuppala--navya_4889940_48611746_sols
+ sols
+ wang--yaou_3766634_48561868_hw2
+ wu--jingyuan_5136734_48593425_hw_2
+ hw_2
+ xu--zonghan_4910104_48564148_hw2
+ yang--ziyi_4927732_48568951_hw2
+ zhu--yifeng_4898159_48561500_hw2_yifengz
+ hw2_yifengz
+ TALK
+ working
+ RefGitHub
+ ALWAYS
+ NarrativeWorldCreator\.vs
+ NarrativeWorldCreator
+ v15
+ Server
+ sqlite3
+ behave-game
+ doc
+ src
+ dbmp
+ ansible
+ roles
+ kubeadm
+ files
+ handlers
+ tasks
+ kubelet
+ files
+ handlers
+ tasks
+ templates
+ kubernetes
+ files
+ tasks
+ templates
+ kubernetes-login-controller
+ files
+ tasks
+ templates
+ mongodb
+ handlers
+ tasks
+ templates
+ dbmp
+ stats
+ templates
+ worker
+ generation
+ test_data
+ identification
+ kubernetes
+ stats
+ dgParser
+ interactive-lp
+ doc
+ examples
+ tamara
+ lib
+ cmlib
+ tests
+ metaclf
+ src
+ mkultra
+ Assets
+ Characters
+ Concerns
+ Conversation
+ Editor
+ Floor Materials
+ Fonts
+ NL
+ Norms
+ Ontology
+ Photos
+ Prefabs
+ Problem solver
+ Script
+ Scripting
+ Sims
+ Sprites
+ Kavi
+ Steampunk
+ TileCore
+ Editor
+ Utilities
+ Wall Materials
+ ProjectSettings
+ NarrativeWorldCreator
+ Common
+ bin
+ Debug Renderer
+ FelkelSkeleton
+ Geometry
+ obj
+ Debug Renderer
+ Properties
+ Shapes
+ Transformations
+ TreeLayouter
+ Util
+ Debug
+ nl-NL
+ x64
+ x86
+ Entika databases
+ GameSemantics
+ ClassDiagrams
+ Components
+ Content
+ Data
+ obj
+ Debug
+ nl-NL
+ Properties
+ Utilities
+ x64
+ x86
+ GameSemanticsEngine
+ ClassDiagrams
+ Components
+ Content
+ Entities
+ Interfaces
+ obj
+ Debug
+ Properties
+ Tools
+ Worlds
+ GraphSharp-v1.0-release
+ Release
+ MonoGame.Framework.WpfInterop
+ bin
+ Debug
+ Release
+ Input
+ obj
+ Debug
+ Release
+ Properties
+ Monogame.Framework
+ Narratives
+ DramaBank-v1.00
+ assertions
+ VGL
+ examples-pddl
+ PDDL example stories Rogelio
+ Pddlnet
+ NarrativeWorldCreator
+ Content
+ Blender
+ Raw 3D models
+ Wood Table
+ Models
+ beachball1
+ bed1
+ beddresser1
+ chair1
+ closet1
+ closet2
+ dresser1
+ faucet1
+ person1
+ person2
+ person3
+ person4
+ sofa1
+ table1
+ throne1
+ vial1
+ writingdesk1
+ SpriteFonts
+ Sprites
+ GraphicScenes
+ Primitives
+ RegionFilling
+ MetricEngines
+ Models
+ Metrics
+ InstanceTree
+ TOTree
+ NarrativeGraph
+ NarrativeInput
+ NarrativeRegionFill
+ NarrativeTime
+ TestMetrics
+ Pages
+ Parsers
+ Properties
+ Solvers
+ ViewModel
+ Views
+ SystemViews
+ NarrativeWorlds
+ bin
+ Release
+ nl-NL
+ x64
+ x86
+ Models
+ Metrics
+ NarrativeGraph
+ NarrativeRegionFill
+ NarrativeTime
+ obj
+ Release
+ Parsers
+ Properties
+ Solver
+ packages
+ MonoGame.Framework.WindowsDX.3.5.1.1679
+ lib
+ net40
+ NuGet.CommandLine.3.4.3
+ tools
+ System.Data.SQLite.1.0.90.0
+ content
+ net20
+ x64
+ x86
+ net40
+ x64
+ x86
+ net45
+ x64
+ x86
+ net451
+ x64
+ x86
+ lib
+ net20
+ net40
+ net45
+ net451
+ tools
+ PDDLNarrativeParser
+ bin
+ Release
+ Migrations
+ Models
+ obj
+ Release
+ Parser
+ Properties
+ PolygonCuttingEar
+ Models
+ Results
+ Research on biases
+ Results
+ Semantics
+ Abstractions
+ ClassDiagrams
+ Components
+ Data
+ Doc
+ search
+ Entities
+ Interfaces
+ obj
+ Debug
+ nl-NL
+ Properties
+ Utilities
+ x64
+ x86
+ SemanticsEngine
+ Abstractions
+ ClassDiagrams
+ Components
+ Entities
+ Interfaces
+ obj
+ Debug
+ nl-NL
+ Properties
+ Tools
+ Worlds
+ SharpDX
+ Triangle
+ Algorithm
+ bin
+ Release
+ Data
+ Geometry
+ IO
+ Log
+ obj
+ Release
+ Properties
+ Smoothing
+ Tools
+ ors
+ andriana
+ new-ors
+ agent_environment
+ PA
+ planning
+ update
+ scenarios
+ ken
+ PA-onts
+ original
+ sem_matching
+ PA-onts
+ original
+ matches
+ updated
+ SPA
+ tomRecruiterAgent
+ html
+ DrinkingCup_files
+ familyName_files
+ shopping
+ PA-onts
+ original
+ updated
+ SPA
+ buyAgent
+ joinGroupAgentOne
+ joinGroupAgentTwo
+ putInBasketAgent
+ putItemInBasketAgent
+ water
+ PA-onts
+ original
+ updated
+ SPA
+ plantOne
+ water2
+ PA-onts
+ original
+ updated
+ SPA
+ plantOne
+ original
+ updated
+ SPA
+ ORS
+ diagnosis
+ exp_sharing
+ plan_deconstruction
+ refinement
+ Ontolingua_refinement
+ SUMO_refinement
+ sem-matching
+ data
+ ontologies
+ WordNet
+ WordNet-3.0
+ exc
+ translation
+ Ontolingua_to_Prolog
+ SUMO_to_Prolog
+ ken
+ ors
+ agents
+ lucas-conf
+ morike-shopping
+ post
+ shopping
+ stored-exp
+ sumo
+ ontologies
+ ken-shopping
+ lucas-conf
+ morike-shopping
+ post
+ shopping
+ sumo
+ run_files
+ translation
+ new-ors
+ agent_environment
+ ExpA
+ PA
+ experiences
+ planning
+ update
+ scenarios
+ ken
+ PA-onts
+ original
+ sem_matching
+ PA-onts
+ original
+ updated
+ SPA
+ tomRecruiterAgent
+ html
+ DrinkingCup_files
+ familyName_files
+ shopping
+ PA-onts
+ original
+ updated
+ SPA
+ buyAgent
+ joinGroupAgentOne
+ joinGroupAgentTwo
+ putInBasketAgent
+ putItemInBasketAgent
+ water
+ PA-onts
+ original
+ updated
+ SPA
+ plantOne
+ water2
+ PA-onts
+ original
+ updated
+ SPA
+ plantOne
+ original
+ updated
+ SPA
+ ORS
+ diagnosis
+ exp_sharing
+ plan_deconstruction
+ refinement
+ Ontolingua_refinement
+ SUMO_refinement
+ sem-matching
+ data
+ ontologies
+ WordNet
+ WordNet-3.0
+ exc
+ translation
+ Ontolingua_to_Prolog
+ SUMO_to_Prolog
+ punyanuch
+ new-ors
+ agent_environment
+ ExpA
+ PA
+ experiences
+ planning
+ update
+ scenarios
+ ken
+ PA-onts
+ original
+ sem_matching
+ PA-onts
+ original
+ matches
+ updated
+ SPA
+ tomRecruiterAgent
+ html
+ DrinkingCup_files
+ familyName_files
+ shopping
+ PA-onts
+ original
+ updated
+ SPA
+ buyAgent
+ joinGroupAgentOne
+ joinGroupAgentTwo
+ putInBasketAgent
+ putItemInBasketAgent
+ water
+ PA-onts
+ original
+ updated
+ SPA
+ plantOne
+ water2
+ PA-onts
+ original
+ updated
+ SPA
+ plantOne
+ original
+ updated
+ SPA
+ ORS
+ bridge_rule
+ diagnosis
+ exp_sharing
+ plan_deconstruction
+ refinement
+ Ontolingua_refinement
+ SUMO_refinement
+ sem-matching
+ data
+ ontologies
+ WordNet
+ WordNet-3.0
+ exc
+ translation
+ Ontolingua_to_Prolog
+ SUMO_to_Prolog
+ testCases
+ shoppingA
+ shoppingB
+ shoppingC
+ slr-proyectoia
+ Agentes
+ Entornos de ejemplo
+ Implementación
+ RoleGame(jar)
+ Agents
+ lib
+ Manifest
+ Viejo
+ RoleGame(jar)V
+ Agents
+ lib
+ Manifest
+ RoleGame
+ META-INF
+ task-teaching-and-supervision
+ Attentional_System
+ julius-4.3.1-linuxbin
+ bin
+ scoring
+ include
+ julius
+ sent
+ julius-simple
+ lib
+ man
+ ja
+ plugin-sample
+ support
+ seed_segment
+ eclipseclp
+ bin
+ x86_64_linux
+ include
+ x86_64_linux
+ legal
+ lib
+ x86_64_linux\.libs
+ chr
+ x86_64_linux
+ lib_tcl
+ Images
+ widget
+ launch
+ msg
+ src
+ behaviour
+ SAPHARI
+ multimodal_hri_framework
+ AlfredDialogueManager
+ nbproject
+ private
+ Scenario
+ audio
+ scfg
+ TUM
+ speech_seed
+ asr
+ munich
+ script
+ src
+ Robot_Manager
+ kuka_seed_commands
+ data
+ include
+ kuka_seed_commands
+ src
+ LWR_seed_control
+ include
+ LWR_seed_control
+ DMP
+ msg
+ src
+ DMP
+ Scene_Simulator
+ config
+ defs
+ kimp
+ wsg50_gripper
+ launch
+ meshes
+ kimp
+ convex
+ wsg50_gripper
+ robots
+ toolkit
+ bash
+ c
+ ads
+ doc
+ src
+ fsm
+ graphs
+ lists
+ matrix
+ tests
+ learning
+ lcthw
+ sedgewick
+ van_wyk
+ misc
+ yaml
+ src
+ elixir
+ erlang
+ octree
+ sphere_tesselation
+ lisp
+ buildyourownlisp
+ prolog
+ prolog-explorer
+ python
+ elefant
+ fixtags
+ remdupes
+ scheduler
+ rust
+ gen_lexer
+ src
+ guessing_game
+ src
+ mmixvm
+ doc
+ src
+ playground
+ src
+ uns
+ ai
+ 2007-proyecto2-garay
+ Informe
+ Prolog
+ Test
+ 2007-proyecto3-garay
+ 2008-proyecto2-garay
+ Informe
+ Prolog2
+ 2010-proyecto1-garay
+ entrega1
+ informe
+ carpeta fotos aki
+ entrega2
+ informe
+ rolegame
+ Agents
+ 2010-proyecto2-garay
+ logic for computer sciences
+ BIG
+ ABR
+ src
+ gorgias-src-0.6d-Visual-20Feb2018
+ ext
+ lib
+ SicstusJava
+ toolIntegration
+ AI
+ log-pacman
+ search
+ XSB
+ admin
+ build
+ windows
+ windows64
+ cmplib
+ etc
+ examples
+ c_calling_XSB
+ chr
+ chr_d
+ curl
+ incremental
+ libwww
+ rdf
+ sgml
+ socket
+ select
+ subprocess
+ threads
+ xmc
+ ABP
+ Iproto
+ Leader
+ Metalock
+ Rether
+ Sieve
+ Tests
+ xpath
+ XSB_calling_c
+ installer
+ lib
+ packages
+ altCDF
+ cdf
+ cdfpt
+ cdftp
+ curtest
+ ontologies
+ ont1
+ mknf
+ tests
+ chkCon
+ ex_disj
+ mytest
+ cdftest1
+ scripts
+ tests
+ ce_tests
+ onto_tests
+ ont1
+ bounds
+ CDF
+ doc
+ rdf
+ test
+ theoremprover
+ chr
+ chr_d
+ clpqr
+ curl
+ Misc
+ dbdrivers
+ mysql
+ Misc
+ mysqlembedded
+ Misc
+ odbc
+ Misc
+ gap
+ justify
+ libwww
+ pcre
+ Misc
+ perlmatch
+ pita
+ rdf
+ regmatch
+ sgml
+ slx
+ w4
+ wildmatch
+ xasp
+ doc
+ intf_examples
+ tests
+ basic_tests
+ xmc
+ GUI
+ xpath
+ Misc
+ xref
+ xsbdoc
+ doc
+ prolog-commons
+ syslib
+ XSB350
+ XSB
+ admin
+ build
+ windows
+ windows64
+ cmplib
+ etc
+ examples
+ c_calling_XSB
+ chr
+ chr_d
+ curl
+ incremental
+ libwww
+ rdf
+ sgml
+ socket
+ select
+ subprocess
+ threads
+ xmc
+ ABP
+ Iproto
+ Leader
+ Metalock
+ Rether
+ Sieve
+ Tests
+ xpath
+ XSB_calling_c
+ installer
+ lib
+ packages
+ altCDF
+ cdf
+ cdfpt
+ cdftp
+ curtest
+ ontologies
+ ont1
+ mknf
+ tests
+ chkCon
+ ex_disj
+ mytest
+ cdftest1
+ scripts
+ tests
+ ce_tests
+ onto_tests
+ ont1
+ bounds
+ CDF
+ doc
+ rdf
+ test
+ theoremprover
+ chr
+ chr_d
+ clpqr
+ curl
+ Misc
+ dbdrivers
+ mysql
+ Misc
+ mysqlembedded
+ Misc
+ odbc
+ Misc
+ gap
+ justify
+ libwww
+ pcre
+ Misc
+ perlmatch
+ pita
+ rdf
+ regmatch
+ sgml
+ slx
+ w4
+ wildmatch
+ xasp
+ doc
+ intf_examples
+ tests
+ basic_tests
+ xmc
+ GUI
+ xpath
+ Misc
+ xref
+ xsbdoc
+ doc
+ prolog-commons
+ syslib
+ search
+ Alfred
+ Alma
+ dbman
+ demo
+ interfaces
+ internal
+ parser
+ res
+ Carne
+ ConceptSpace
+ domain
+ planes
+ KB
+ trains
+ KB
+ universal
+ KB
+ LinkParser
+ data
+ words
+ tcp
+ quintus_prolog
+ quintus3.5
+ bin3.5
+ linux
+ generic
+ q3.5
+ demo
+ bench
+ chat
+ curses
+ math
+ menu
+ popup
+ search
+ wafer
+ tutorial
+ qplib3.5
+ embed
+ english
+ swedish
+ IPC
+ RPC
+ demo
+ TCP
+ demo
+ library
+ objects
+ demo
+ library
+ prologbeans
+ demo
+ library
+ structs
+ demo
+ library
+ english
+ linux
+ tools
+ proxl3.5
+ demo
+ library
+ proxt3.5
+ demo
+ library
+ src
+ domain
+ boxer
+ src
+ data
+ italian
+ prolog
+ vpe
+ prolog
+ boxer
+ knowledge
+ lex
+ lib
+ nutcracker
+ scripts
+ ccg
+ memex
+ web
+ busstuc
+ app
+ compile
+ db
+ tables
+ r0174_130402
+ r1601_131111
+ r1601_150622
+ r1601_150817
+ r1601_160418
+ r1601_160502
+ r1601_160620
+ r1601_160815
+ r1601_161031
+ r1601_170403
+ r1601_170626
+ r1601_170814
+ r1601_180101
+ r1601_180409
+ r1601_180625
+ r1601_180813
+ r1602_150810
+ r1602_150901
+ r1602_160502
+ r1602_170403
+ r1603_151012
+ r1603_160502
+ r1603_170403
+ r1605_140102
+ r160_180813
+ r1611_150112
+ r1611_150330
+ r1611_151214
+ r1611_160118
+ r1611_200203
+ r1612_150330
+ r1612_151214
+ r1612_160320
+ r1613_150330
+ r1613_151214
+ r1614_151214
+ r1615_151214
+ r1630_111201
+ dialog
+ old
+ tagger
+ tests
+ tuc
+ txt
+ DEBUG
+ utility
+ chartula
+ bash
+ backlight_intel
+ commands_list_fsl
+ create_folders_multipe
+ mass_rename
+ neuroimaging_bash
+ parse_arguments
+ symlink_root
+ c
+ fann
+ example_black_and_white_nxt
+ prolog
+ zad_04
+ zad_05
+ zad_06
+ zad_07
+ python
+ mindwave
+ mindwave-python_net_examples
+ MusicEEGControl-master
+ control_scripts
+ python-mindwave-mobile
+ example
+ ecce
+ auto_tests
+ testfiles
+ convex_hull
+ SamirGenaimCode
+ polyhedra
+ ecce_benchmarks
+ ecce_out
+ martin
+ orig
+ ecce_examples
+ ancestorstacks
+ dbaccess
+ demo
+ basic
+ deforestation
+ demo_lopstr03
+ itp
+ petri
+ henk
+ pre-henkv
+ inductive_theorem_proving
+ interpreters
+ intuitionistic
+ inversion
+ model_check
+ petri-nets
+ sat_codish
+ slicing
+ Termination
+ ecce_source
+ abstract
+ abstractpd
+ bimtools
+ bottomUp
+ check_instance_of
+ constraints
+ more_specific
+ neg_solve
+ partition
+ postprune
+ prb
+ b
+ rul
+ Test
+ TestFiles
+ selectionrule
+ whistle
+ rul_source
+ tests
+ www
+ benchmarks
+ CiaoDE
+ ciao
+ benchmark
+ Antonio
+ WamCode
+ concurrency
+ data
+ directives
+ loading
+ modules
+ qexec
+ so
+ suite
+ bin
+ LINUXi86
+ bugs
+ Fixed
+ amosbug
+ bigatom
+ debug_multifile
+ debugger_bug_curry_translation
+ debugging_cyclic_term
+ ensure_loaded_bug
+ isa
+ memory
+ multi_reload
+ number_codes
+ psanchez
+ read_bug
+ SAGE
+ sage
+ sage-large
+ Pending
+ arithmetic
+ attach
+ compiler_bug
+ conc_assert
+ conc_backtracking
+ debug_multifile
+ embedded_debugger
+ exceptions
+ fastrw_conc
+ foreign
+ foo
+ intercept_bug
+ jsabater
+ lib_modules_test
+ webbased_server
+ modules
+ multi_data
+ reading_fp_numbers_in_module
+ segv
+ segv-backup
+ sformat
+ var_assert
+ Unclassified
+ c2
+ c_itf
+ compiler_bug_1
+ conc_term_indexing
+ data_reexp
+ debugger
+ engine
+ library
+ ciaoc
+ compatibility
+ sicstus3
+ contrib
+ case_tester
+ catcher
+ chartlib
+ doc
+ examples
+ chat80
+ db
+ nl
+ top
+ costmodel
+ ddlist
+ examples
+ debugpred
+ distutils
+ fd
+ examples
+ gnuplot
+ hashtable
+ ho_unif
+ hrtimer
+ lazy
+ examples
+ macro
+ examples
+ math
+ modtester
+ mycin
+ examples
+ mycin_rulebase
+ examples
+ Academic
+ ProjectEvaluationExpert
+ oldt
+ examples
+ persvalue
+ persvalue.old
+ user
+ profiler
+ examples
+ provrml
+ doc
+ FDvis
+ test
+ regexp
+ sicstus-ugraphs-other
+ subversion
+ tester
+ test
+ time_analyzer
+ test
+ 1
+ 2
+ 3
+ 4
+ 5
+ 5e
+ 6
+ 6e
+ transactions
+ truster
+ xdr_handle
+ examples
+ pers
+ html_manager
+ xml_path
+ doc
+ examples
+ dist
+ common
+ doc
+ common
+ compiler
+ INDEV
+ readmes
+ reference
+ test
+ tutorial
+ SRC
+ emacs-mode
+ doc
+ engine
+ etc
+ cxref
+ examples
+ agenda
+ iclp01_contest
+ misc
+ lib
+ assertions
+ doc
+ test
+ doc
+ autoconfig
+ components
+ compiler
+ debugger
+ engine
+ fastrw.disabled
+ foreign_interface
+ embedding_examples
+ examples
+ addresses
+ any_term
+ bignums
+ byte_lists
+ exceptions
+ foreign_init
+ foreign_low
+ int_lists
+ math
+ strings_and_atoms
+ metaprops
+ metatypes
+ regtypes
+ srcbyrd
+ types.old
+ write_c
+ library
+ actmods
+ examples
+ agents
+ webbased_server
+ agent
+ examples
+ agents
+ examples
+ protocols
+ ask
+ fipa
+ contract_net
+ englisg_auction
+ iterated_contract_net
+ query
+ request
+ request_when
+ amp
+ ams
+ examples
+ actmods
+ class
+ expanded
+ test
+ example
+ andorra
+ benchmarks
+ examples
+ andprolog
+ examples
+ old_andprolog
+ examples
+ nodist
+ argnames
+ examples
+ argnamesv
+ examples
+ attribute_dump
+ bf
+ examples
+ byrdbox
+ chip
+ ciaodevelop
+ ciaopp
+ api
+ menu
+ class
+ benchmarks
+ assrt
+ call
+ non_optimized
+ obj_vs_module
+ optimized
+ staticobj_vs_module
+ new
+ destroy
+ no_destroy
+ on_attr
+ on_inheritance
+ on_method
+ symmetry_test
+ examples
+ geometry
+ multiple_inh
+ persistency
+ queens
+ remote
+ sockets
+ library
+ clpq
+ clpqr-common
+ examples
+ small_incomplete_not_working
+ clpr
+ concurrency
+ examples
+ connections
+ fipa
+ http
+ soap
+ spy
+ davinci.old
+ dclp
+ and
+ benchmarks
+ or
+ examples
+ nameserver
+ nameserver_db
+ nameserver
+ remote
+ remote_R
+ det_hook
+ examples
+ emacs
+ examples
+ small_incomplete_not_working
+ expander
+ factsdb
+ dynamic
+ examples
+ examples
+ persdb
+ user
+ static
+ window
+ fake
+ fdtypes
+ file_locks
+ fly
+ Doc
+ freeze
+ functions
+ examples
+ fuzzy
+ development
+ fuzzy
+ paco
+ examples
+ work
+ agregacion
+ examples
+ graphs
+ hlc
+ examples
+ INDEV
+ id
+ examples
+ indexer
+ ALTERNATIVE
+ examples
+ KEEP
+ interface
+ javall
+ doc
+ examples
+ java2pl
+ pl2java
+ NotWorking
+ javaobs
+ Doc
+ Examples
+ javax
+ swing
+ event
+ sun
+ awt
+ io
+ misc
+ security
+ util
+ translator
+ librowser
+ Doc
+ make
+ Doc
+ example_latex
+ example_simple
+ netscape
+ objects
+ Doc
+ ontologies
+ p2p
+ test
+ test1
+ test2
+ persdb
+ doc
+ examples
+ persdb_mysql
+ delete_compiler
+ doc
+ examples
+ active_modules
+ not_working
+ small_examples
+ odbc
+ old
+ misc
+ pl2sql_modifications
+ postgreSQLaccess
+ tests
+ tests
+ persdb_mysql_op
+ persdb_odbc
+ examples
+ gdbi
+ doc
+ readmes
+ persdb_sql_common
+ pillow
+ dist
+ doc
+ readmes
+ examples
+ platforms
+ pwamc
+ random
+ remote
+ bak
+ benchmark
+ examples
+ examples-jf
+ rtchecks
+ sha1
+ examples
+ soap
+ example
+ on_facts
+ on_http
+ on_socket
+ sockets
+ examples
+ symfnames
+ examples
+ tcltk
+ Doc
+ doc_files
+ examples
+ interface
+ Doc
+ pers
+ phone_book
+ user
+ examples_sicstus
+ examples_with_problems
+ class
+ Doc
+ interface
+ NOT_WORKING
+ widget_class
+ Doc
+ Vtcl
+ Prev
+ RUC_NewVersion
+ examples
+ tcltk_obj
+ Back
+ library.development
+ argnamesvv
+ examples
+ benchmarking
+ doc
+ blackboard
+ curses
+ distribution
+ examples
+ exec
+ ho_test
+ lazy_functions
+ math
+ b
+ multi_dynamic
+ examples
+ proTcXl2.1
+ local
+ other
+ outdated
+ transactions
+ db
+ demo
+ log
+ transaction_logging
+ Tests
+ vrml
+ doc
+ Win32
+ ENGG411_T
+ prolog
+ nlp
+ resources
+ corpora
+ chat80
+ wordnet_ic
+ OLED
+ datasets
+ Caviar_clean_from_RTEC
+ data
+ MaritimeAegean
+ RevealTwitterData
+ AlephRuns
+ PUC-Rio-INF1771-Inteligencia-Artificial
+ INF1771-T2
+ src
+ logic
+ rolog
+ src
+ swipl-7.7.19
+ bench
+ boot
+ demo
+ library
+ clp
+ dcg
+ dialect
+ eclipse
+ hprolog
+ iso
+ sicstus
+ swi
+ unicode
+ man
+ packages
+ archive
+ bdb
+ chr
+ Benchmarks
+ Examples
+ clib
+ demo
+ clpqr
+ clpq
+ clpqr
+ clpr
+ cpp
+ cql
+ http
+ examples
+ pwp
+ inclpr
+ jpl
+ examples
+ java
+ Exceptions
+ Exceptions2
+ Family
+ FamilyMT
+ SemWeb
+ Test
+ Test2
+ TestGC
+ Time
+ Versions
+ Zahed
+ prolog
+ src
+ java
+ org
+ jpl7
+ test
+ libedit
+ nlp
+ libstemmer_c
+ odbc
+ demo
+ paxos
+ demo
+ test
+ pcre
+ PDT
+ pengines
+ examples
+ http
+ pldoc
+ plunit
+ examples
+ protobufs
+ demo
+ RDF
+ readline
+ semweb
+ Tests
+ sgml
+ Test
+ ssl
+ tests
+ swipl-win
+ table
+ tipc
+ demo
+ utf8proc
+ xpce
+ man
+ course
+ lib
+ slides
+ info
+ lib
+ userguide
+ examples
+ prolog
+ boot
+ contrib
+ rubik
+ demo
+ lib
+ compatibility
+ dialog
+ doc
+ draw
+ emacs
+ english
+ http
+ man
+ math
+ plot
+ swi
+ trace
+ xref
+ unsupported
+ src
+ yaml
+ zlib
+ scripts
+ src
+ os
+ Tests
+ attvar
+ charset
+ clp
+ core
+ eclipse
+ GC
+ library
+ data
+ save
+ input
+ thread
+ unprotected
+ reload
+ test
+ tools
+ Unicode
+ win32
+ installer
+ The-Wumpus-World
+ Wumpus
+ Assets
+ Resources
+ TWAU-Data
+ dissertation
+ DramaBank-v1.00
+ assertions
+ sig
+ MED
+ ALSProlog
+ core
+ als_dev
+ alsdev
+ c_s
+ generic_app
+ alsp_src
+ bin
+ builtins
+ doc
+ misc
+ generic
+ Doc
+ generate
+ library
+ tests
+ mwbuild
+ pconfig
+ port
+ tests
+ docker-centos
+ docker-ubuntu
+ iso_test_suite
+ systests
+ tsuite
+ consult1dir
+ c-f
+ i-m
+ p-x
+ s-u
+ w-x
+ y-z
+ echo
+ unix
+ win32
+ tcltk_interface
+ aix
+ common
+ examples
+ hpux
+ irix
+ linux
+ solaris
+ sunos
+ unix
+ aix
+ cygwin
+ darwin
+ hpux
+ irix
+ linux
+ solaris
+ sunos
+ unused_alsp_src
+ cfgs
+ unix
+ generate
+ atrans
+ i386
+ djgpp
+ djutils
+ regex
+ doc
+ oldstuff
+ tgtmach
+ work
+ m68k
+ doc
+ macos
+ nextstep
+ sunos4
+ sysv
+ m88k
+ dgux5
+ sysv3
+ sysv4
+ sparc
+ doc
+ solaris2
+ sunos4
+ vax
+ vms
+ wins
+ build
+ macos
+ motif
+ mswin32
+ pplant
+ wxwin
+ src
+ win32
+ docs
+ examples
+ als
+ chat80
+ more
+ objectpro
+ odbc
+ Prolog1000
+ pxs
+ tables
+ tcltk
+ visual
+ Archive
+ extensions
+ cinterf
+ c2pro
+ examples
+ tests
+ deps
+ pro2intf
+ gethostid
+ java
+ odbc
+ common
+ save_V20
+ examples
+ hppa_hpux9.05
+ i386_linux
+ sparc_solaris2.4
+ src
+ unix
+ python
+ win32
+ src
+ win32_service_kit
+ Source
+ x_motif
+ common
+ hppa_hpux9.05
+ i386_linux
+ motif_source
+ sparc_solaris2.4
+ sparc_sunos4.1.3
+ x_source
+ foreign_sdk
+ examples
+ common
+ unix
+ even
+ qa
+ tutorial
+ win32
+ unix
+ manual
+ unix
+ win32
+ ebpd
+ demos
+ domains
+ _OLD_DOMAINS
+ jaco
+ results
+ robotic_arm
+ ebpd
+ problems
+ pddl
+ problems
+ striped_tower
+ ebpd
+ stack
+ unstack_stack
+ pddl
+ stack
+ unstack_stack
+ cafe
+ ebpd
+ experiences
+ schemata
+ satellite
+ exp1
+ exp2
+ ebpd-system
+ learning
+ Models
+ MyExamples
+ experiences
+ stacking_blocks
+ 1
+ 05_Jul_18
+ 2
+ 05_Jul_18
+ 06_Jul_18
+ 3
+ 05_Jul_18
+ 4
+ 05_Jul_18 (_reverse_loop)
+ 5
+ 05_Jul_18
+ 06_Jul_18
+ 6
+ stacking_blocks__
+ 1
+ 13_Jul_18
+ 3
+ 13_Jul_18
+ 4
+ 13_Jul_18
+ 5
+ 13_Jul_18
+ schema
+ 04_Jul_18
+ 06_Jul_18
+ 07_Jul_18
+ 07_Nov_17
+ 08_Nov_17
+ 09_Feb_18
+ 09_Nov_17
+ 10_Nov_17
+ 11_Nov_17
+ 13_Dec_16
+ 13_Jun_17
+ 14_Dec_16
+ 15_Nov_17
+ 17_Oct_17
+ 18_Dec_17
+ 18_Jul_18
+ 19_Oct_17
+ 20_Jun_17
+ 21_Nov_17
+ 22_Jan_18
+ 22_Oct_17
+ 24_Feb_17
+ 25_Jan_18
+ 30_Jan_18
+ planning
+ schemata
+ stacking_blocks
+ sicstus
+ test
+ _stacking_blocks
+ 1
+ 2
+ 3
+ 4
+ 5
+ 6
+ exp
+ cafe
+ two_arms
+ stripped_tower2
+ GrailLight
+ lassy
+ Resources
+ nufuz
+ frame-resources
+ other
+ pgrad
+ code
+ Goloz
+ MIndiGolog
+ listings
+ pknows
+ vpdl
+ scratch
+ MIndiGolog_mercury
+ pcond
+ thesis
+ MIndiGolog0
+ MIndiGolog1
+ MIndiGolog2
+ PKnows
+ vpdl
+ social
+ cssepg06
+ chess_comp
+ talks
+ agentlab
+ golog
+ completion
+ conferences
+ iat06
+ listings
+ pg_sem_06
+ pg_sem_07
+ pg_sem_08
+ rmit_agents
+ writings
+ confs
+ aaai06
+ listings
+ aaai08
+ aamas06
+ listings
+ aamas07
+ iat06
+ admin
+ listings
+ ijcai07
+ ijcai07_2
+ kr08
+ internal
+ journals
+ common_knowledge
+ jair07
+ jair09a
+ joint_exec
+ listings
+ mindigolog
+ oz-examples
+ property_persisence
+ thesis
+ listings
+ background
+ mindigolog
+ Prolog_Practice-
+ Prolog
+ blipkit-master
+ attic
+ bin
+ examples
+ ext
+ packages
+ attic
+ pheno
+ biblio
+ bionlp
+ blipcore
+ blipweb
+ conf
+ src
+ skins
+ CVS
+ curation
+ adapters
+ cytoscape
+ etc
+ expr
+ galaxy
+ genomic
+ doc
+ grule
+ geo
+ graph
+ jblip
+ bin
+ src
+ metadata
+ obol
+ bin
+ conf
+ test_suite
+ vocab
+ www
+ obolog
+ omim
+ ontol
+ conf
+ doc
+ t
+ data
+ util
+ phenotype
+ examples
+ t
+ data
+ phylo
+ doc
+ examples
+ sb
+ adapters
+ conf
+ doc
+ serval
+ examples
+ serval
+ sql
+ sql_schema
+ stats
+ structure
+ sql_schema
+ web
+ xml
+ query
+ tools
+ sdcg
+ compiler
+ corpora
+ brown
+ parts
+ doc
+ grammars
+ emptyrule
+ english
+ brownlex
+ simplelex
+ grammar_corrector
+ misc
+ pos_tagger
+ report_advanced
+ report_simple
+ test
+ cond1
+ regextest
+ symlists
+ wrong_prism_err
+ misc
+ grammar_loaders
+ play
+ test
+ misc
+ util
+ yapOr-teams
+ benchmarks
+ CVSROOT
+ docs
+ index
+ Benchmarks
+ JIT
+ examples
+ LGPL
+ pillow
+ examples
+ library
+ clp
+ dialect
+ bprolog
+ swi
+ mpi
+ examples
+ regex
+ man
+ misc
+ os
+ libtai
+ windows
+ packages
+ bdd
+ CLPBN
+ benchmarks
+ city
+ comp_workshops
+ school
+ social_network2
+ social_network2_evidence
+ workshop_attrs
+ examples
+ School
+ cplint
+ approx
+ doc
+ em
+ lemur
+ rib
+ slipcase
+ slipcover
+ gecode
+ 3.6.0
+ 3.7.0
+ 3.7.1
+ 3.7.2
+ 3.7.3
+ 4.0.0
+ 4.2.0
+ 4.2.1
+ dev
+ extractor
+ meld
+ examples
+ pagerank
+ prism
+ exs
+ jtree
+ noisy_or
+ src
+ c
+ makefiles
+ prolog
+ bp
+ core
+ mp
+ trans
+ up
+ ProbLog
+ problog_examples
+ simplecudd
+ prosqlite
+ prolog
+ pyswip
+ examples
+ coins
+ draughts
+ hanoi
+ sendmoremoney
+ sudoku
+ python
+ examples
+ swi-minisat2
+ examples
+ swig
+ android
+ jni
+ sqlite
+ xml
+ xml_example
+ yap-lbfgs
+ liblbfgs-1.10
+ pl
+ swi
+ console
+ library
+ clp
+ dcg
+ SMALL
+ freqtrade-strategies\.github
+ nvm\.github
+ 9414-PrologBDI_Agent
+ AceRules
+ docker
+ plain
+ with-smodels
+ engine
+ court_interpreter
+ examples
+ parser
+ skolemizer
+ stable_interpreter
+ testcases
+ court
+ input
+ output
+ stable
+ input
+ output
+ stable_strong
+ input
+ output
+ verbalizer
+ webservice
+ webapp
+ src
+ ch
+ uzh
+ ifi
+ attempto
+ acerules
+ help
+ page
+ error
+ ref
+ resource
+ style
+ war
+ WEB-INF
+ lib
+ webclient
+ actionaxiomlearning
+ adrian_prantl
+ adventure
+ adventure.xcodeproj
+ English.lproj
+ MainMenu.nib
+ MainMenu~.nib
+ contrib
+ wordnet
+ advertent-curt
+ src
+ thesis
+ ai-archive
+ EXSYS
+ exsys
+ Patricia
+ tugas-exsys
+ System Pakar Diagnosa Hepatitis oleh Herie Sutarya 140111090038
+ Fuzzy
+ Praktikum
+ Tugas 1
+ 140810160065_aturan
+ 140810160065_silsilah
+ Tugas 2
+ Tugas 3
+ backprop
+ Debug
+ Prolog
+ archive
+ Patricia
+ AI-Assignment-3-BDI
+ bkup
+ AI_Prolog
+ prolog_game
+ anql
+ src
+ anql
+ ardf
+ domains
+ rules
+ tests
+ data
+ queries
+ ATOM
+ docs
+ src
+ test
+ axiom-discovery
+ early_code
+ paper
+ Figures
+ planning
+ example
+ prior_version
+ version2
+ Backup-Logica
+ Bayesian-MIL-active-learning
+ bee_experiment
+ results
+ grammar_experiment
+ results
+ BDI_Agent-UNSW_General_AI
+ Biocham
+ DOC
+ emacs
+ EXAMPLES
+ cell_cycle
+ cell_cycle_Tyson_6Var
+ kinetics
+ locations
+ MAPK
+ small
+ small_cell_cycle
+ gui
+ commandLine
+ customComponents
+ dialogs
+ documentation
+ filters
+ graphicalEditor
+ legacy
+ images
+ menus
+ modelData
+ parsers
+ plotting
+ projectImages
+ resources
+ utils
+ parsing
+ vim
+ Bomberman_AI
+ Bomberman.xcodeproj
+ project.xcworkspace
+ xcuserdata
+ admin.xcuserdatad
+ xcuserdata
+ admin.xcuserdatad
+ xcschemes
+ Bomberman_SDL
+ AI
+ Core
+ Log
+ Math
+ Utils
+ Game
+ Commands
+ Console
+ Elements
+ EventListeners
+ Layers
+ Map
+ resources
+ fonts
+ maps
+ textures
+ tinyxml2
+ contrib
+ resources
+ tinyxml2
+ tinyxml2-cbp
+ tinyxml2.xcodeproj
+ tinyxml2.xcodeproj
+ screenshots
+ brexit
+ bin
+ resource
+ src
+ cognition
+ bgSlides
+ gfx
+ finSlides
+ gfx
+ paper
+ gfx
+ wire
+ comp9414-artificial-intelligence
+ ass1
+ assignment1Tests
+ ass2
+ ass3
+ Coreference-Resolution
+ Aleph
+ abduce
+ constraints
+ features
+ gcws
+ genealogy
+ good
+ interactive
+ modes
+ mycodes
+ numbers
+ portray
+ posonly
+ Prolog
+ recursion
+ refine
+ sentences
+ trains
+ tree
+ Code
+ article training
+ output files
+ References and other Papers
+ Screenshots
+ CSC366
+ Assignment1
+ Assignment10
+ Assignment11
+ crypto
+ v4
+ Assignment12
+ Assignment14
+ Assignment15
+ Assignment16
+ Assignment17
+ Assignment18
+ Assignment2
+ Assignment5
+ Assignment6
+ Assignment7
+ Assignment8
+ crypto
+ v1
+ Assignment9
+ v2
+ v3
+ DALI
+ docs
+ Examples
+ advanced
+ build
+ conf
+ mas
+ log
+ mas
+ instances
+ types
+ work
+ basic
+ conf
+ log
+ mas
+ work
+ more
+ src
+ onto
+ owl
+ drcurt
+ ER-ASP-DPOP
+ ER-ASP-DPOP_System
+ experimento-discretizacion-agrupamiento-univariable-ilp
+ australian
+ aleph
+ aleph_extended
+ australian_prueba
+ aleph_extended
+ bridges
+ aleph
+ aleph_extended
+ bridges_prueba
+ carcinogenesis
+ aleph
+ aleph_extended
+ carcinogenecity_discretization
+ carcinogenecity_grouping
+ otros archivos
+ pte2
+ Text
+ creditscreening
+ aleph
+ aleph_extended
+ discretization
+ grouping
+ ecoli
+ aleph
+ aleph_extended
+ german_credit
+ aleph
+ aleph_extended
+ GILPS
+ examples
+ alz_amine
+ carcinogenesis
+ dsstox
+ mutagenesis
+ source
+ bottom clause
+ clause evaluation
+ engine
+ examples
+ hypotheses
+ messages
+ mode declarations
+ settings
+ theory
+ top_theory
+ type_checker
+ utils
+ iris
+ aleph
+ aleph_extended
+ krki
+ aleph
+ aleph_extended
+ moral_reasoner
+ aleph
+ aleph_extended
+ moral
+ mutagenesis
+ 188_friendly_aleph
+ 188_friendly_aleph_extended
+ 188_friendly_discretization
+ 188_friendly_grouping
+ 42_unfriendly
+ common
+ text
+ student_loan
+ aleph
+ aleph_extended
+ student_discretization
+ student_grouping
+ Text
+ freqtrade-strategies
+ user_data
+ indicators
+ strategies
+ berlinguyinca
+ GILPS
+ datasets
+ alzheimers
+ ancestor
+ carcinogenesis
+ claws
+ function
+ mesh
+ metabolism
+ mutagenesis
+ proteins
+ pyrimidines
+ tictactoe
+ triazines
+ models
+ source
+ bottom clause
+ clause evaluation
+ engine
+ examples
+ hypotheses
+ messages
+ mode declarations
+ settings
+ theory
+ top_theory
+ type_checker
+ utils
+ GOAL-DTU
+ Needed Files
+ src
+ hintgralison
+ HPTextAdventureGame
+ IA-Agente
+ doc
+ src
+ Agents
+ bugorLib
+ strategies
+ lib
+ INF1771_Trabalho2
+ images
+ prolog
+ res
+ src
+ AG
+ astar
+ dev
+ ia
+ display
+ integrated
+ lemma
+ tagger-models
+ wordnet
+ jint2016
+ problems
+ clr_M_T_C
+ clr_T
+ clr_T_C
+ srv_G_C
+ srv_M_G
+ srv_M_G_C
+ Jolly-Roger
+ KogSys
+ Concept
+ Documentation
+ Implementations
+ Aleph
+ 1
+ 2
+ 3
+ Generator
+ NewRules
+ Disjunktiv
+ Konjunktiv
+ Rekursiv
+ Relational
+ TrainsToAlephFormat
+ NewDatasets
+ Disjunktiv
+ Transformation
+ Konjunktiv
+ Transformation
+ Rekursiv
+ Transformation
+ Relational
+ Transformation
+ TrainsToFeatureVector
+ Combinations
+ Datasets
+ NewDatasets
+ Disjunktiv
+ Transformation
+ Konjunktiv
+ Transformation
+ Rekursiv
+ Transformation
+ Relational
+ Transformation
+ Rapidminer
+ l-and-o
+ BootCompiler
+ Doc
+ L-and-O
+ book.scriv
+ Files
+ Docs
+ ProjectNotes
+ QuickLook
+ Settings
+ LetsGo
+ back.graffle
+ cover.graffle
+ CVS
+ front.graffle
+ Samples
+ CVS
+ QuickRef
+ Reference
+ TexReference
+ Engine
+ Headers
+ Extension
+ dl
+ golex
+ gpg
+ graph
+ rdf
+ tdpl
+ GoTests
+ XML
+ HeaderGenerator
+ Headers
+ lib
+ LO
+ LOCompiler
+ Tests
+ LODoc
+ OOlib
+ Headers
+ Tests
+ Lambent
+ CrystalFire
+ bin
+ Debug
+ agents
+ control
+ domains
+ reason
+ utils
+ Convertors
+ Core
+ Enums
+ obj
+ Debug
+ Windows
+ Properties
+ VisualElements
+ Windows
+ MITRAS
+ Java
+ SNLPPrologAdapter\.settings
+ SNLPPrologAdapter
+ bin
+ agilog
+ snlp
+ src
+ agilog
+ snlp
+ Prolog
+ GraphTransformation
+ NLP
+ Python
+ web
+ css
+ img
+ js
+ mlcs
+ common
+ dpll
+ fol
+ gensat
+ learnsat
+ dist
+ docs
+ src
+ prop
+ tl
+ MobileAgentPart
+ Config
+ lib
+ MPTP2
+ Ebot
+ finedeps
+ learning
+ MaLARea
+ bin
+ data
+ doc
+ script
+ malecop
+ MizAR
+ cgi-bin
+ bin
+ tptp
+ CodeMirror
+ mizsys
+ bin.std
+ mml_git
+ MPTP2078
+ Strategies
+ prmils
+ mzt1000
+ TSTPRes
+ classif
+ Navigating_agent
+ nlpt2
+ NLSystem
+ ProNToMorph
+ wordnet_prolog_2007
+ nvm
+ test
+ fast
+ Aliases
+ circular
+ lts
+ Listing paths
+ Listing versions
+ Unit tests
+ mocks
+ install_script
+ installation_iojs
+ installation_node
+ mocks
+ slow
+ nvm exec
+ nvm reinstall-packages
+ test-npmlink
+ nvm run
+ nvm uninstall
+ nvm use
+ nvm_get_latest
+ sourcing
+ peronautas
+ doc
+ comunicacion
+ conf
+ estrategias
+ images
+ llncs2e
+ pdf
+ wicc
+ src
+ connection
+ perceptServer
+ pl
+ example
+ graph
+ utils
+ utils
+ ypserver
+ primitivas
+ libs
+ Pinocchio
+ plrsf
+ css
+ doc
+ icons
+ test
+ prolog-experiments
+ AMZI Workspace\.metadata
+ AMZI Workspace\.metadata\.plugins
+ org.eclipse.core.resources\.history
+ 10
+ 11
+ 12
+ 13
+ 14
+ 15
+ 17
+ 18
+ 19
+ 1a
+ 1b
+ 1c
+ 1d
+ 1e
+ 1f
+ 2
+ 20
+ 21
+ 22
+ 23
+ 24
+ 25
+ 26
+ 27
+ 28
+ 29
+ 2a
+ 2b
+ 2d
+ 2e
+ 2f
+ 3
+ 30
+ 31
+ 32
+ 33
+ 35
+ 36
+ 37
+ 38
+ 39
+ 3a
+ 3b
+ 3c
+ 3d
+ 3e
+ 3f
+ 4
+ 40
+ 41
+ 42
+ 43
+ 44
+ 45
+ 46
+ 47
+ 48
+ 49
+ 4a
+ 4c
+ 4d
+ 4e
+ 4f
+ 5
+ 50
+ 51
+ 52
+ 53
+ 54
+ 55
+ 56
+ 57
+ 58
+ 5a
+ 5b
+ 5c
+ 5d
+ 5e
+ 5f
+ 6
+ 60
+ 61
+ 62
+ 63
+ 64
+ 65
+ 66
+ 67
+ 68
+ 69
+ 6a
+ 6b
+ 6c
+ 6d
+ 6e
+ 6f
+ 7
+ 70
+ 71
+ 72
+ 73
+ 74
+ 75
+ 76
+ 77
+ 78
+ 79
+ 7a
+ 7b
+ 7c
+ 7d
+ 7e
+ 7f
+ 8
+ 80
+ 81
+ 82
+ 83
+ 84
+ 85
+ 86
+ 87
+ 88
+ 89
+ 8a
+ 8b
+ 8c
+ 8d
+ 8e
+ 8f
+ 9
+ 90
+ 91
+ 92
+ 93
+ 94
+ 95
+ 96
+ 97
+ 98
+ 99
+ 9a
+ 9b
+ 9d
+ 9e
+ 9f
+ a
+ a0
+ a1
+ a3
+ a4
+ a5
+ a6
+ a7
+ a8
+ a9
+ aa
+ ab
+ ac
+ ad
+ ae
+ af
+ b
+ b0
+ b1
+ b5
+ b6
+ b7
+ b9
+ ba
+ bc
+ bd
+ bf
+ c
+ c0
+ c1
+ c2
+ c3
+ c4
+ c5
+ c6
+ c7
+ c8
+ c9
+ ca
+ cb
+ cc
+ cd
+ ce
+ cf
+ d
+ d0
+ d2
+ d3
+ d4
+ d5
+ d6
+ d7
+ d8
+ d9
+ da
+ db
+ dc
+ dd
+ de
+ df
+ e
+ e0
+ e1
+ e2
+ e3
+ e4
+ e5
+ e6
+ e7
+ e8
+ e9
+ ea
+ eb
+ ec
+ ed
+ ee
+ ef
+ f
+ f0
+ f1
+ f2
+ f3
+ f4
+ f5
+ f6
+ f7
+ f8
+ f9
+ fa
+ fb
+ fc
+ fd
+ fe
+ ff
+ org.eclipse.core.resources\.root\.indexes
+ org.eclipse.debug.core\.launches
+ org.eclipse.core.resources\.projects
+ Eclair
+ Modules
+ Working
+ org.eclipse.core.resources\.root
+ org.eclipse.core.resources\.safetable
+ org.eclipse.core.runtime\.settings
+ com.amzi.prolog.core
+ org.eclipse.debug.ui
+ org.eclipse.ltk.ui.refactoring
+ org.eclipse.search
+ org.eclipse.team.ui
+ org.eclipse.tomcat
+ help
+ ROOT
+ org.eclipse.ui
+ org.eclipse.ui.ide
+ org.eclipse.ui.workbench
+ org.eclipse.ui.workbench.texteditor
+ org.eclipse.update.ui
+ AMZI Workspace
+ Multi-Clipboard Data
+ External Sources
+ ActiveX
+ exlibris-0_2
+ doc
+ eg
+ mock_home
+ compat
+ swi
+ ensure
+ file
+ list
+ meta
+ term
+ simple
+ lib
+ clause
+ compat
+ swi
+ yap
+ ensure
+ exec
+ file
+ io
+ kv
+ list
+ meta
+ option
+ term
+ unix
+ write
+ OOPL
+ workspace\.metadata\.config
+ platform.cfg.metadata
+ workspace\.metadata
+ workspace\.metadata\.plugins
+ org.eclipse.core.resources\.history
+ org.eclipse.core.resources\.root
+ org.eclipse.core.resources\.safetable
+ com.amzi.prolog.core
+ org.eclipse.ui
+ org.eclipse.ui.views
+ org.eclipse.ui.workbench
+ org.eclipse.update.ui
+ doc
+ lib
+ sample
+ counter
+ hello
+ inherit
+ operator
+ performance
+ save
+ string
+ PrologDoc
+ prologdoc-1.0RC2
+ Sources
+ AI
+ Basic Algorithms
+ algebra
+ B-Prolog
+ Edinburgh
+ data
+ arrays
+ lists
+ misc
+ numbers
+ sets
+ terms
+ demo
+ evans
+ grammars
+ mandc
+ misc
+ plan
+ rules
+ search
+ winston
+ io
+ files
+ formatted_write
+ read_in
+ prolog
+ tools
+ editing
+ inspecting
+ on_line_doc
+ timing
+ tracing
+ GFULab
+ graph
+ interval
+ J. Payne Prolog Tools
+ library
+ benchmarks
+ ECRC
+ lisp_prolog_contest
+ tektronix
+ debug
+ fcp
+ shopper
+ Prolog and Logic Programming
+ Simple Text Parser
+ TLG Theorem Prover
+ Modules
+ bin
+ Documentation
+ Todo
+ My AMZI Extensions
+ CVUtilities
+ Debug
+ Resources
+ Test
+ Debug
+ Programs
+ Pizza
+ bin
+ Working
+ bin
+ Expert System
+ World
+ prologLearningAlg
+ learn_pl
+ aq1
+ arch1
+ arch2
+ attdsc
+ cobweb
+ discr
+ ebg
+ idt
+ invers
+ logic
+ multagnt
+ vs
+ proof-whisperer
+ PTC-Solver
+ doc
+ lib_public
+ source
+ qrrl2018small
+ ros_caio
+ appraisal_emo
+ scripts
+ appraisal_secs
+ scripts
+ deliberation_intentions
+ scripts
+ perception_bdi
+ scripts
+ perm_kb_manager
+ scripts
+ planification
+ scripts
+ pleiad
+ kbs
+ scenarios
+ scheduling
+ scripts
+ secs_mm_realizer
+ scripts
+ srv
+ second-year
+ 2b\.metadata
+ inf2bcw1\.metadata
+ 2b\.metadata\.plugins
+ org.eclipse.core.resources\.history
+ 49
+ d2
+ f3
+ org.eclipse.core.resources\.root\.indexes
+ org.eclipse.debug.core\.launches
+ org.eclipse.core.resources\.projects
+ inf2bcw1\.indexes
+ e4
+ d3
+ inf2bcw1
+ org.eclipse.jdt.core
+ org.eclipse.core.resources\.root
+ org.eclipse.core.resources\.safetable
+ org.eclipse.core.runtime\.settings
+ org.eclipse.ant.ui
+ org.eclipse.cdt.make.core
+ org.eclipse.debug.ui
+ org.eclipse.jdt.core
+ org.eclipse.jdt.launching
+ org.eclipse.jdt.ui
+ org.eclipse.ui.ide
+ org.eclipse.ui.intro
+ org.eclipse.ui.workbench
+ org.tigris.subversion.subclipse.ui
+ inf2bcw1\.metadata\.plugins
+ org.eclipse.core.resources\.root\.indexes
+ org.eclipse.core.resources\.root
+ org.eclipse.core.resources\.safetable
+ org.eclipse.core.runtime\.settings
+ org.eclipse.e4.workbench
+ org.eclipse.jdt.core
+ org.eclipse.jdt.launching
+ org.eclipse.jdt.ui
+ jdt-images
+ org.eclipse.ui.workbench
+ org.eclipse.ui.workbench.texteditor
+ 2b
+ inf2bcw1\.metadata
+ inf2bcw1\.metadata\.plugins
+ org.eclipse.core.resources\.history
+ 5d
+ org.eclipse.core.resources\.root\.indexes
+ org.eclipse.core.resources\.projects
+ inf2bcw1\.indexes
+ af
+ inf2bcw1
+ org.eclipse.jdt.core
+ org.eclipse.core.resources\.root
+ org.eclipse.core.resources\.safetable
+ org.eclipse.core.runtime\.settings
+ org.eclipse.cdt.make.core
+ org.eclipse.jdt.core
+ org.eclipse.jdt.launching
+ org.eclipse.jdt.ui
+ org.eclipse.ui.ide
+ org.eclipse.ui.intro
+ org.eclipse.ui.workbench
+ org.tigris.subversion.subclipse.ui
+ Hack
+ inf2bcw1
+ src
+ closestPair
+ evaluation
+ tests
+ closestPair
+ evaluation
+ LearnCW
+ src
+ 2d assignment
+ ADSsubmision
+ Inf2d-Coursework2
+ Inf2C
+ Inf2d-Coursework2
+ Inf2dAssignment1
+ 2b Workspace\.metadata
+ 2b Workspace\.metadata\.plugins
+ org.eclipse.core.resources\.root\.indexes
+ org.eclipse.core.resources\.root
+ org.eclipse.core.resources\.safetable
+ org.eclipse.core.runtime\.settings
+ org.eclipse.e4.workbench
+ org.eclipse.jdt.core
+ org.eclipse.jdt.launching
+ org.eclipse.jdt.ui
+ org.eclipse.ui.ide
+ org.eclipse.ui.intro
+ org.eclipse.ui.workbench
+ Inf2dAssignment1
+ sitcalc_async_knowledge
+ SpeculativeComputation
+ CGuide\.idea
+ artifacts
+ copyright
+ libraries
+ scopes
+ CGuide\.settings
+ SpeculativeComputationSystem\.settings
+ CGuide
+ config
+ src
+ main
+ java
+ cguide
+ db
+ beans
+ entities
+ exception
+ webservices
+ execution
+ entities
+ webservices
+ filters
+ parser
+ entities
+ utils
+ test
+ java
+ target
+ classes
+ cguide
+ db
+ beans
+ entities
+ exception
+ webservices
+ execution
+ entities
+ webservices
+ filters
+ parser
+ entities
+ utils
+ META-INF
+ maven
+ CGuide
+ CGuide
+ test-classes
+ WebContent
+ META-INF
+ WEB-INF
+ lib
+ web
+ WEB-INF
+ SpeculativeComputationSystem
+ bin
+ agents
+ bayesian
+ network
+ learning
+ speculative
+ module
+ src
+ agents
+ bayesian
+ network
+ learning
+ speculative
+ module
+ splendor-clone
+ agents
+ resources
+ cards
+ tokens
+ talespin-annie
+ ThirdYearProject
+ examples
+ abduce
+ constraints
+ features
+ gcws
+ good
+ interactive
+ modes
+ numbers
+ portray
+ posonly
+ recursion
+ refine
+ trains
+ tree
+ ug2_Golog
+ golog
+ Examples
+ wumpus-world-game-prolog
+ agent
+ astar
+ client
+ build
+ config
+ dist
+ static
+ css
+ fonts
+ img
+ js
+ src
+ assets
+ components
+ fonts
+ scripts
+ wumpus-world
+ old
+ styles
+ static
+ doc
+ agent
+ astar
+ wumpus_IA_prolog
+ run
+ source
+ WumpusGodMode
+ TrapQuest
+ Trap Quest.inform
+ Inform
+ Extensions
+ Accessories
+ Actions
+ Bags of Holding
+ Belts Suspenders
+ Body Parts
+ Bondage
+ Bra
+ Clothing
+ Collectibles
+ Consumables
+ Corsets
+ Crafting
+ Dresses
+ Drinks
+ Ending the Game
+ Equippables
+ Every Turn
+ Fainting
+ Fetish Settings
+ Food
+ Furniture
+ Graham Nelson
+ Headgear
+ Knickers
+ Miscellaneous Backend
+ Miscellaneous Frontend
+ Monster
+ Monster Framework
+ Not Used
+ Objects
+ Piercings Modules
+ Player
+ Player Description
+ Reserved
+ Templates
+ Parchment
+ Quixe
+ Standard
+ Rooms
+ Sex Toys
+ Shoes
+ Skirts
+ Stockings
+ Tattoos
+ Third Party Extensions
+ Traps
+ Trousers
+ Source
+ ..\swipl-devel
+ boot
+ \usr
+ lib
+ swi-prolog
+ boot
+ demo
+ library
+ chr
+ clp
+ clpq
+ clpqr
+ clpr
+ cql
+ dcg
+ dialect
+ eclipse
+ hprolog
+ iso
+ sicstus
+ swi
+ http
+ pldoc
+ semweb
+ tipc
+ unicode
+ local
+ lib
+ swipl
+ boot
+ demo
+ doc
+ packages
+ examples
+ chr
+ cpp
+ cql
+ http
+ pwp
+ inclpr
+ jpl
+ java
+ Family
+ FamilyMT
+ Test
+ Test2
+ Time
+ Zahed
+ prolog
+ pengines
+ pldoc
+ plunit
+ protobufs
+ ssl
+ library
+ chr
+ clp
+ clpq
+ clpqr
+ clpr
+ inclpr
+ cql
+ dcg
+ dialect
+ eclipse
+ hprolog
+ iso
+ sicstus
+ swi
+ http
+ latex2html
+ lynx
+ pldoc
+ semweb
+ tipc
+ unicode
+ xpce
+ prolog
+ boot
+ contrib
+ rubik
+ demo
+ lib
+ compatibility
+ dialog
+ doc
+ draw
+ emacs
+ english
+ http
+ man
+ math
+ plot
+ swi
+ trace
+ xref
+ ..\..\taupl\qulog0.4\QuProlog\qp.vpj
+ ..\..\taupl\SxxLog\SxxLog.vpj
+ wamcl.vpj
scroll:0
[State]
SCREEN: 1920 1080 1920 1080 1920 600 0 0 M 0 0 0 0 1462 692
CWD: ..\..\..\CYC_JRTL_with_CommonLisp
FILEHIST: 9
..\small_adventure_games\prolog\ec_planner\run_tests.sh
..\small_adventure_games\prolog\ec_planner\ectest\testA.pl
..\small_adventure_games\prolog\ec_planner\ectest\testB.pl
..\small_adventure_games\prolog\ec_planner\ec_loader.pl
\daydreamer-possible\daydreamer\cyc.lisp
\daydreamer-possible-3\daydreamer\ide.lisp
\daydreamer-possible-3\daydreamer\d_compile.lisp
C:\Users\ADMINI~1\AppData\Local\Temp\Rar$DRa0.417\CYC_JRTL_with_CommonLisp\run-cyc-java.sh
D:\workspace\prologmud_sample\runtime\daydream.pl