"user manual"
Contents
1. Jan Burse Installation Development XLOG Technologies GmbH Top Level The archive file can be used to execute a Prolog query answer loop You willneed a Java runtime environment so that you have a java command available The following command will then execute the archive file and start the Prolog query answer loop without a graphical user interface java lt options gt jar toplevel jar h lt arguments gt To start the Prolog query answer loop with a graphical user interface the following command can be used On Windows one might also use javaw instead of java java lt options gt jar toplevel jar lt arguments gt The following options are recommended Duser language lt language code gt ocale language Duser region lt country area code gt ocale country mx lt size gt Available memory Dapple laf useScreenMenuBar tru Dapple awt brushMetalLook true Xdock name Jekejeke On Mac OS only On Mac OS only Oa MAE OS oml Alternatively one can also double click the toplevel jar which executes the archive file with the current default Java runtime and without any options or arguments This works most ly for Windows and Mac OS but might fail on Linux The archive file accepts further arguments A detailed documentation of the archive file ar guments can be found in the programming interface document for the class ToolkitEnvironment There is no need to u2. 0 7 added Jan Burse September 9 2015 0 29 e Release notes for 1 0 9 added October 10 2015 jekejeke_inst_dev_2015_07_03_e docx Page 5 of 36 Jan Burse Installation Development XLOG Technologies GmbH 1 Introduction The Jekejeke Prolog development environment is available for Windows Linux and Macin tosh Customers can also download documentation and samples In the following we de scribe the download contents and its most basic use e Release Notes This section lists the changes concerning the Jekejeke Prolog de velopment environment documentation and samples e Environment Installation Here we describe how the Jekejeke Prolog development environment can be installed and executed e Support Files Here we describe how the Jekejeke Prolog development environment support files can be installed October 10 2015 jekejeke_inst_dev_2015_07_03_e docx Page 6 of 36 Jan Burse Installation Development XLOG Technologies GmbH 2 Release 1 0 This section lists the changes concerning the console manual the language reference and the programming interface between the different releases The following releases have been made available so far Release 1 0 9 Release 1 0 7 Release 1 0 6 Release 1 0 5 Release 1 0 4 Release 1 0 3 Release 1 0 1 2 1 Release 1 0 9 The following features have been provided for the Jekejeke Prolog development environment of version 1 0 9 Language e The pseudo module inspection direct removed
3. e New module inspection syntax introduced e New module inspection provable introduced e New predicate property sys_noinstrument introduced Oo October 10 2015 jekejeke_inst_dev_2015_07_03_e docx Page 7 of 36 Jan Burse Installation Development XLOG Technologies GmbH 2 2 Release 1 0 7 The following features have been provided for the Jekejeke Prolog development environment of version 1 0 7 Language Predicate property sys_spy_point 0 removed Clause property sys_context 1 removed Clause property source_file 1 removed Clause property line_no 1 removed Prolog flag sys_trace removed Prolog flag source_file removed Prolog flag line_no removed Predicate notrace 0 removed Predicate debugging 1 removed New values for Prolog flag debug introduced New predicate skip 0 introduced New predicate leash 1 introduced New predicates pin 1 and nopin 1 introduced New module system protocol introduced The debugger prompt is now a little REPL New predicate out 0 introduced Swing Interface e New debug toolbar introduced e New debug menu introduced Native Console e Ctrl C does not provide a character menu anymore e Ctrl C directly leads to a pause and hence the debugger REPL October 10 2015 jekejeke_inst_dev_2015 07 _03_e docx Page 8 of 36 Jan Burse Installation Development XLOG Technologies GmbH 2 3 Release 1 0 6 The following features have been provided for the Jekejeke Prolog development environment of
4. use an integrated development environment to compile and execute your Java class All you probably have to do is create an appropriate project and then regis ter the archive file of the Jekejeke Prolog runtime library in the class path of the project You might also unpack the Jekejeke Prolog development environment and include it in a jar together with your compiled byte code and then execute this jar Further you might want to deploy the Jekejeke Prolog runtime library together with your ap plets or servlets In the case of applets all you need to do is mention the archive file in the applet tag and copy the archive file to the web server together with the applet In case of servlets all you need to do is copy the archive file into the WEB INF lib directory For more details see the deployment study document Avoid changing the destination directory once the new archive file has been activated since this might invalidate the activation October 10 2015 jekejeke_inst_dev_2015_07_03_e docx Page 26 of 36 Jan Burse Installation Development XLOG Technologies GmbH Automatic Discovery Since release 0 9 12 of the Jekejeke Development Environment we have facilitated the se lection of class paths This feature is only available for the graphic invocation of the Jekejeke Development Environment Upon start up the interpreter will first check the following directo ry for additional class path elements lt working directory gt ap
5. version 1 0 6 Language e Error messages removed from documentation e Error messages are now multi lingual English and German e Error messages are now found on open source web site e The documentation has now a title page 2 4 Release 1 0 5 The following features have been provided for the Jekejeke Prolog development environment of version 1 0 5 Language The clause property sys_notrace removed The frame property sys_witnesses removed The stack property sys_stack_frame removed The stack property sys_call_indicator removed The stack property sys_text_frame removed The frame property sys_bindings removed New frame property variables introduced Swing Interface e Icon scaling on high res displays e Table scaling on high res displays October 10 2015 jekejeke_inst_dev_2015_07_03_e docx Page 9 of 36 Jan Burse Installation Development XLOG Technologies GmbH 2 5 Release 1 0 4 The following features have been provided for the Jekejeke Prolog development environment of version 1 0 4 Language e Filler annotation option causes Prolog reader to capture fillers e Navigation format option causes Prolog writer to emit navigation comments e Filler annotation option causes Prolog write to emit fillers Oo 2 6 Release 1 0 3 The following features have been provided for the Jekejeke Prolog development environment of version 1 0 3 Language e New predicate listing 2 introduced e New predicate syntax_property 2 intr
6. Further steps that are necessary in the process of building an Android package are dex Convert the class files to Dalvik byte code apkbuilder Create an Android package Jarsigner Sign the Android package zipalign Align the Android package adb Install your Android package on a device Alternatively you can use an integrated development environment to compile and execute your Java class All you probably have to do is create an appropriate project and then regis ter the archive file of the Jekejeke Prolog runtime library in the class path of the project The development environment might invoke the installation for you The above works for an Android device connected via USB or for an Android emulator start ed on the development platform Alternatively you can upload your Android package to an internet store or to an internet site Then point your device to the internet store or to the in ternet site to launch the package October 10 2015 jekejeke_inst_dev_2015_07_03_e docx Page 30 of 36 Jan Burse Installation Development XLOG Technologies GmbH Automatic Discovery Since release 0 9 12 of the Jekejeke Development Environment we have facilitated the se lection of class paths Upon start up the interpreter will first check the Android package man ager for additional class path elements packages with the same user id If this list contains class path elements which are not yet listed in the class path settings a gr
7. Jan Burse Installation Development XLOG Technologies GmbH Jekejeke Develop Installation Version 1 0 9 September 9 2015 XLOG Technologies GmbH October 10 2015 jekejeke_inst_dev_2015 07 03 _e docx Page 1 of 36 Jan Burse Installation Development XLOG Technologies GmbH Jekejeke Prolog Development Environment 1 0 9 Installation Guide Author XLOG Technologies GmbH Jan Burse Freisch tzgasse 14 8004 Z rich Switzerland Date September 9 2015 Version 0 29 Participants None Warranty amp Liability To the extent permitted by applicable law and unless explicitly otherwise agreed upon XLOG Technologies GmbH makes no warranties regarding the provided information XLOG Tech nologies GmbH assumes no liability that any problems might be solved with the information provided by XLOG Technologies GmbH Rights 8 License All industrial property rights regarding the information copyright and patent rights in particu lar are the sole property of XLOG Technologies GmbH If the company was not the origina tor of some excerpts XLOG Technologies GmbH has at least obtained the right to repro duce change and translate the information Reproduction is restricted to the whole unaltered document Reproduction of the information is only allowed for non commercial uses Small excerpts can be used if properly cited Cita tions must at least include the document title the product family the product version the comp
8. any the date and the page Example Defined predicates with arity gt 0 both static and dynamic are indexed on the functor of their first argument 1 p 17 1 Language Reference Jekejeke Prolog 0 8 1 XLOG Technologies GmbH Switzerland February 22 2010 Trademarks Jekejeke is a registered trademark of XLOG Technologies GmbH October 10 2015 jekejeke_inst_dev_2015_07_03_e docx Page 2 of 36 Jan Burse Installation Development XLOG Technologies GmbH Table of Contents T INUA A ae 6 2 RAS O tetas A ee ee ee 7 2 1 Rs e e AA 7 2d y RASO NA ENTE SE TEO SE E O SE OR ler 8 A AE A E E E A O RT 9 2 2 IT NA AAN 9 2 5 E A glad a Fe 10 2 6 RM ai 10 LT RA ee engeren 10 DB EIA ai ns 11 3 1 Release O li a A A A a Sd EA ab 11 SN EI sr ON 11 3 3 Release 0 9 9 ER RN 12 3 2 Release O79 Str td er o o AN o e AN Ps fern 12 3 5 REIEASE0 9 73 AA ar see ee le 13 236 Release OI e an Da be ee he he 13 331 Release 0 WA rn nr en A S 14 3 8 REIEASEI IB ee een 15 3 95 REIEASE OT Zr TE Ma A A ee a A e a A ES Eke e N de Vet 16 3 10 RELEASE GT Eee tri ol 17 3 11 Release O I a na a a At Sande nee 18 A REIEASE 0 8 ze ee 19 4 RASO e e WANA 19 AD MEENA IA SON Sie SE ti EN ES ER A OATS 20 da REIEASE DO in A a a en 20 A IT NA A et Te a MMs cet cts Sheela a hs cats oe Ltt 21 4 5 REIE3SE 0 8I ee a Re a Re een op 21 246 RElIEASE WA ne en E 22 AR AREIEISE 0 ta o a dante NE 9 REN Sri ams Ao REN ER DS STAR Ra
9. aphical dialog will be shown to the end user The end user can then decide which addi tional class path elements from the above directory should be included or excluded Since release 0 9 12 of the Jekejeke Development Environment we have also facilitated the selection of capabilities Upon start up of the interpreter and when the class path elements have been registered the class path elements are search for package slips If the package slips contain capabilities which are not yet listed in the capabilities settings a graphical dialog will be shown to the end user The end user can then decide which addi tional capabilities from the package slips should be included or excluded System Requirements The Jekejeke Prolog development environment of version 0 9 8 requires at least Graphic interface e Android 2 2 API 8 6 Headless e Dalvik 1 6 API 4 5 The Jekejeke Prolog development environment of version 0 9 8 is compatible with at least Jekejeke Prolog Runtime Library 0 9 8 Android Version 2 October 10 2015 jekejeke_inst_dev_2015_07_03_e docx Page 31 of 36 Jan Burse Installation Development XLOG Technologies GmbH 6 Support Files Download of the support files is available for all platforms that have a ZIP extractor The download includes the support files for the Jekejeke Prolog runtime library and the Jekejeke Prolog development environment You will download the following archive file supdev zip The suppor
10. ebugger command introduced October 10 2015 jekejeke_inst_dev_2015 07 _03_e docx Page 19 of 36 Jan Burse Installation Development XLOG Technologies GmbH 4 2 Release 0 8 8 The following features have been provided for the Jekejeke Prolog development environment of version 0 8 8 Console Query answer loop now suppresses display of system exceptions Query answer loop now reacts on user exit by leaving the answer loop Query answer loop now reacts on all other system exceptions by leaving all loops End of file D during query answer now acts as a user exit The w during query answer now acts as a user close End of file D during trace message now acts a user exit The w during trace message now acts as a user close New predicates abort O exit O and close O introduced 4 3 Release 0 8 7 The following features have been provided for the Jekejeke Prolog development environment of version 0 8 7 Console e Thread tour completed e Trace menu item can now toggle the trace mode e Abort menu item does now also interrupt threads e Hold menu item is available independent of thread state e Signals and interrupts are now cleared in the top level e Memory low tour completed October 10 2015 jekejeke_inst_dev_2015 07 _03_e docx Page 20 of 36 Jan Burse Installation Development XLOG Technologies GmbH 4 4 Release 0 8 6 The following features have been provided for the Jekejeke Prolog development environment
11. ently come without source October 10 2015 jekejeke_inst_dev_2015 07 _03_e docx Page 34 of 36 Jan Burse Installation Development XLOG Technologies GmbH 7 Known Issues The following issues are known for the Jekejeke Prolog development environment of version 1 0 7 Language Navigation for head predicates should be web site search Should have a meta interpreter flag for predicates If the meta interpreter flag is set the trace should check the first argument There is not yet a read clause option for sub goal positions Should make use of determinism check to reduce shown debugger ports Should make use of clean up facility to provide a debugger exception port During abort cutting the debug trace mode should be temporarily switched off The debugger prompt REPL should do goal expansion Should have predicates to compensate for removed debugger commands Swing e Some problems with the debugging accelerator keys in JDK 1 7 on Mac OS October 10 2015 jekejeke_inst_dev_2015_07_03_e docx Page 35 of 36 Jan Burse Installation Development XLOG Technologies GmbH Pictures Es konnten keine Eintr ge f r ein Abbildungsverzeichnis gefunden werden Tables Es konnten keine Eintr ge f r ein Abbildungsverzeichnis gefunden werden 1 2 3 4 5 6 References Java 2 Platform Standard Edition 6 0 Mustang Sun Microsystems 2006 http www oracle com technetwork java javase overview index jsp 136246 html Prolog R
12. iendly 1 now respect public private e The predicates dump 0 and dump 1 now respect public private October 10 2015 jekejeke_inst_dev_2015 07 _03_e docx Page 11 of 36 Jan Burse Installation Development XLOG Technologies GmbH 3 3 Release 0 9 9 The following features have been provided for the Jekejeke Prolog development environment of version 0 9 9 Language e The predicate expand_goal 2 is not anymore traced for top level queries e The predicate expand_term 2 is not anymore traced for consulting e The predicate sys _rebuild_term 2 is not anymore traced for listing e New clause property sys_notrace O introduced 3 4 Release 0 9 8 The following features have been provided for the Jekejeke Prolog development environment of version 0 9 8 Language e The predicate sys_ignore 1 now uses Java body conversion October 10 2015 jekejeke_inst_dev_2015 07 _03_e docx Page 12 of 36 Jan Burse Installation Development XLOG Technologies GmbH 3 5 Release 0 9 7 The following features have been provided for the Jekejeke Prolog development environment of version 0 9 7 Language e New system predicates expose_goal 2 and goal_exposing 2 introduced 3 6 Release 0 9 5 The following features have been provided for the Jekejeke Prolog development environment of version 0 9 5 Android Interface e New menu item trace introduced October 10 2015 jekejeke_inst_dev_2015 07 _03_e docx Page 13 of 36 Jan Burse Installation Developmen
13. iew the PDF files a PDF reader needs to be available The support files archive contains the following documentation 05_run Runtime Library gt 10 clexen Documentation O0maneinoard User Manual Android OMS wat y User Manual Swing 02 referenc Language Reference 03 Literiteads Programming Interface ANS Eon Installation Guide Se quen Frequent Predicates gt 15 Stoly Studies 0 senei Benchmark Results OS SpA y Deployment Methods nO Ecompieranee Compliance Results 10 dev Development Environment OO CU Documentation 00 andric User Manual Android OMS Wai y User Manual Swing 02 referenc Language Reference 03 mice Programming Interface gt 04 asesul lLetestoja Installation Guide The full PDF documents are located in the files called package pdf in the above directories October 10 2015 jekejeke_inst_dev_2015_07_03_e docx Page 33 of 36 Jan Burse Installation Development XLOG Technologies GmbH 6 2 Example Sources The source files for the development environment example programs are provided as source archive files The source files mainly include Prolog texts and Java classes But they might also include other types of artefacts The support files archive contains the following sources 05_run Runtime Library taea 10 loan Documentation vo O ewig User Manual Swing OZ TERSTEEG Language Reference 03 titer race Program
14. in two flavours There is a version for the Swing Java virtual ma chine and a version for the Android Java virtual machine The different flavours do not deliver exactly the same functionality The environment inherits the differences already found in the library Currently the environment does not add some major additional differences For a summary of the differences found in the library see the library installation documentation The code of the libraries is also mostly identical except for some places where different sys tem packages are used Because of these differences the Android library will not run in a Swing virtual machine and the Swing library will not run in an Android virtual machine In the following we will give more details on the installation of the different versions e Swing Installation e Android Installation October 10 2015 jekejeke_inst_dev_2015_07_03_e docx Page 23 of 36 Jan Burse Installation Development XLOG Technologies GmbH 5 1 Swing Installation A manual package is available for any Swing user interface toolkit implementation The package includes the Jekejeke Prolog development environment You will download the fol lowing archive file toplevel jar Top Level and Embedding You might copy the archive file to the destination directory lt dest gt of your choice The ar chive file can be used for the following purposes e Activation The archive file can be used to activate licen
15. introduced October 10 2015 jekejeke_inst_dev_2015_07_03_e docx Page 18 of 36 Jan Burse Installation Development XLOG Technologies GmbH 4 Release 0 8 This section lists the changes concerning the console manual the language reference and the programming interface between the different releases The following releases have been made available so far Release 0 8 9 Release 0 8 8 Release 0 8 7 Release 0 8 6 Release 0 8 5 Release 0 8 4 Release 0 8 3 4 1 Release 0 8 9 The following features have been provided for the Jekejeke Prolog development environment of version 0 8 9 Console e Look and feel change also updates text pop up menu now e New dialog for activation over service e New dialog for activation over email e New dialog for enlisting start up capabilities Language Prolog flag source_file moved from runtime library to here Prolog flag line_no moved from runtime library to here System predicate sys_clause 3 moved from runtime library to here System predicate sys_retract 2 moved from runtime library to here System predicate sys_assertz 2 moved from runtime library to here System predicate sys_asserta 2 moved from runtime library to here New system predicate sys_compile 3 New system predicate sys_instance 3 Better call site provisioning in query answer loop Better call site detection in debugger Better sys_notrace handling in debugger New t Text debugger command introduced New g Ancestors d
16. ive file has been activated since this might invalidate the activation October 10 2015 jekejeke_inst_dev_2015_07_03_e docx Page 29 of 36 Jan Burse Installation Development XLOG Technologies GmbH Embedding The archive file can be embedded into variety of Dalvik applications Let s look at the case of an embedding inside an Android activity Assume that your Java class lt activity gt derives from the class android app Activity and that it resides inside the destination directory lt dest gt Assume further that this class will use the Dalvik runtime library of Jekejeke Prolog Further assume that we do cross compilation on a traditional Java platform for an Android emulator or a remote Android device You will first need a Java development kit so that you have a Java compiler available You will also need the Android development kit so that the Android libraries are available Before you can start compiling your classes the following step might be necessary e aapt Compile the manifest and your Android resources e aidl Compile your Android interface definitions Your Java class lt activity gt can be compiled by the following command form the destina tion directory lt dest gt Note the different path separators on the different platforms on windows javac bootclasspath android jar Gye Uno Aus lt activity gt java on linux and mac javac bootclasspath android jar Gjo Eoleyel mue N SASHA vial
17. k If this directory contains class path elements which are not yet listed in the class path set tings or which have not yet been added by the new a command line option a graphical dia log will be shown to the end user The end user can then decide which additional class path elements from the above directory should be included or excluded Since release 0 9 12 of the Jekejeke Development Environment we have also facilitated the selection of capabilities This feature is also only available for the graphic invocation of the Jekejeke Development Environment Upon start up of the interpreter and when the class path elements have been registered the class path elements are search for package slips If the package slips contain capabilities which are not yet listed in the capabilities settings or which have not yet been added by the e command line option a graphical dialog will be shown to the end user The end user can then decide which additional capabilities from the package slips should be included or excluded System Requirements The Jekejeke Prolog development environment of version 0 9 8 requires at least Graphic interface e Swing 1 6 1 Headless e Hotspot 1 5 4 The Jekejeke Prolog development environment of version 0 9 8 is compatible with at least e Jekejeke Prolog Runtime Library 0 9 8 Swing Version 2 October 10 2015 jekejeke_inst_dev_2015_07_03_e docx Page 27 of 36 Jan Burse Installation Development XLOG Techno
18. les section included Jan Burse September 27 2011 0 12 e Release notes for 0 9 1 added Jan Burse November 15 2011 0 13 e Release notes for 0 9 2 added Jan Burse February 23 2012 0 14 e Release notes for 0 9 3 added Jan Burse June 4 2012 0 15 e Release notes for 0 9 4 added Jan Burse August 30 2012 0 16 e Release notes for 0 9 5 added Jan Burse December 10 2012 0 17 e Release notes for 0 9 7 added Jan Burse February 20 2013 0 18 e Release notes for 0 9 8 added and system requirements sections move Jan Burse April 7 2013 0 19 e Release notes for 0 9 9 added Jan Burse July 27 2013 0 20 e Release notes for 0 9 10 added Jan Burse August 14 2013 0 21 e Known issues sections moved Jan Burse December 6 2013 0 22 e Release notes for 0 9 12 added and automatic discovery introduced Jan Burse April 1 2014 0 23 e Release notes for 1 0 1 added Jan Burse July 23rd 2014 0 24 e Release notes for 1 0 3 added and known issues section expanded Jan Burse August 17 2014 0 25 e Release notes for 1 0 4 added and known issues section expanded Jan Burse February 27 2015 0 26 e Release notes for 1 0 5 added October 10 2015 jekejeke_inst_dev_2015_07_03_e docx Page 4 of 36 Jan Burse Installation Development XLOG Technologies GmbH Jan Burse May 28 2015 0 27 e Release notes for 1 0 6 added Jan Burse July 3 2015 0 28 e Release notes for 1
19. logies GmbH 5 2 Android Installation Manual packages are available for any Android Java virtual machine The packages only include the Jekejeke Prolog development environment You will download the following ar chive files toplevel apk Top Level toplevel zip Embedding You might copy the archive file to the destination directory lt dest gt of your choice The ar chive file can be used for the following purposes e Activation The archive file can be used to activate licenses e Top Level The archive file can be used to execute a Prolog query answer loop e Embedding The archive file can be embedded into Android applications e Automatic Discovery The archive file discovers class paths and capabilities e System Requirements The system requirements of the actual version Activation The archive file can be used to activate licenses The environment archive file itself does need a license and additional capabilities might need a license The activation can be done either with the original archive file or when the archive file has been unpacked and included in a new archive file The following methods are available for activation e Graphical License Manager The graphical top level automatically queries the end user via dialog windows for the activation of licenses The subsequent top level sec tion provides more information on how to start the graphical top level e Custom License Manager Applica
20. ming Interface OS QUESTS Frequent Predicates gt 15 er Studies gt 05 oenen Benchmark Results gt gt 10 Palo Deployment Methods ONES O Mpio Ss Compliance Results 10_dev Development Environment gt 110 Co Documentation 02 referenc Language Reference 4 gt 035 EA HA Programming Interface The source archive files are located in the files package zip in the above directories You can easily run the programs by means of the Java command line or from within an inte grated development environment Some programs from the deployment methods document demand a web server an SQL database a HTML browser or an applet runner for execution For more details see the corresponding documentation 6 3 Interpreter Sources The partial source files for the development environment interpreter programs are provided as source archive files The source files mainly include Prolog texts and Java classes But they might also include other types of artefacts The support files archive contains the following sources 05_run Runtime Library 02 referenc Language Reference gt 05 regant Frequent Predicates The source archive files are located in the files package zip in the above directories The sources are mainly there to give a more detailed documentation of the inner working of the interpreter But the sources can also be used to create derivative work except for special predicates which curr
21. n 22 5 ENVirOnmMent INStallAthOn asides enced od ccisecess Sane ne anne 23 941 SWING ii cata Ao 24 5 2 AS OA 28 6 gt POS a a tn cried 32 AA es Se oo oe 33 Gz Example Sources creo aa eae aie 34 6 3 Interpreter SOURCES ii er 34 1 VIKNOWMISSUCS I Sat a a EET ee le A a e a cele fo a fai Br 35 PI IA A A A I Inn 36 TAE A e o deat ani AT 36 Reference Soh e en Er a 36 October 10 2015 jekejeke_inst_dev_2015_07_03_e docx Page 3 of 36 Jan Burse Installation Development XLOG Technologies GmbH Change History Jan Burse June 9 2010 0 1 e Initial version Jan Burse July 2 2010 0 2 e Code styling introduced Jan Burse July 25 2010 0 3 e Release notes for 0 8 4 added Jan Burse October 2 2010 0 4 e Release notes for 0 8 5 added Jan Burse November 13 2010 0 5 e Release notes 0 8 6 new decimals references number syntax and string syntax Jan Burse December 2 2010 0 6 e Release notes 0 8 6 new character string and stream control predicates Jan Burse January 2 2011 0 7 e Release notes for 0 8 7 added Jan Burse April 15 2011 0 8 e Release notes for 0 8 8 added and separation application and documentation Jan Burse April 17 2011 0 9 e Runtime library installation guide moved into separate document Jan Burse Mai 6 2011 0 10 e Release notes for 0 8 9 added and documentation platform independent Jan Burse June 6 2011 0 11 e Release notes for 0 9 0 added and samp
22. npack the archive file Avoid re deploying once the archive file has been activated since this might invalidate the activation October 10 2015 jekejeke_inst_dev_2015_07_03_e docx Page 25 of 36 Jan Burse Installation Development XLOG Technologies GmbH Embedding The archive file can be embedded into variety of Swing applications Let s look at the case of an embedding inside a Java standalone application Assume that your Java class lt main gt has a static method main and that it resides inside the destination directory lt dest gt As sume further that this class will use the Hotspot runtime library of Jekejeke Prolog You will first need a Java development kit so that you have a Java compiler available Your Java class lt main gt can be compiled by the following command form the destination directory lt dest gt Note the different path separators on the different platforms javac cp toplevel jar lt main gt java on windows javac cp toplevel jar lt main gt java on linux and mac You will then need a Java runtime environment so that you have a Java runtime available Your Java class lt main gt can be executed by the following command from the destination directory lt dest gt Note again the different path separators on the different platforms java cp toplevel jar lt main gt on windows java cp toplevel jar lt main gt on linux and mac Alternatively you can
23. oduced e New predicate set_syntax_property 2 introduced e New predicate reset_syntax_property 2 introduced 2 7 Release 1 0 1 The following features have been provided for the Jekejeke Prolog development environment of version 1 0 1 Language New predicate direct_property 2 introduced New predicates set_direct_property 2 and reset_direct_property 2 introduced New predicate debugging 1 introduced The predicate debugging 1 now understands the colon 2 The predicate friendly 1 now understands the colon 2 The predicate dump 1 now understands the colon 2 October 10 2015 jekejeke_inst_dev_2015 07 _03_e docx Page 10 of 36 Jan Burse Installation Development XLOG Technologies GmbH 3 Release 0 9 This section lists the changes concerning the console manual the language reference and the programming interface between the different releases The following releases have been made available so far Release 0 9 12 Release 0 9 10 Release 0 9 9 Release 0 9 8 Release 0 9 7 Release 0 9 5 Release 0 9 4 Release 0 9 3 Release 0 9 2 Release 0 9 1 Release 0 9 0 3 1 Release 0 9 12 The following features have been provided for the Jekejeke Prolog development environment of version 0 9 12 Language e New command line option a introduced 3 2 Release 0 9 10 The following features have been provided for the Jekejeke Prolog development environment of version 0 9 10 Language e The predicates friendly 0 and fr
24. of version 0 8 6 Console Fixed problem dispose of running window when user cancelled operation Fixed locking problem during key repeat Fixed end of line detection problem Console is now styled with different styles for input and output Improved menu handling on the Macintosh platform 4 5 Release 0 8 5 The following features have been provided for the Jekejeke Prolog development environment of version 0 8 5 Console New view menu items Hold Screen and Clear Screen New view menu items Submit Input and Submit Eof New search menu items History up and History down New terminal panel in settings dialog Help button in register and settings dialog Query variable names in answer and debug message Clause variables names in listing and friendly October 10 2015 jekejeke_inst_dev_2015_07_03_e docx Page 21 of 36 Jan Burse Installation Development XLOG Technologies GmbH 4 6 Release 0 8 4 The following features have been provided for the Jekejeke Prolog development environment of version 0 8 4 Console e Trace and abort menu item disabled during start up e Menu item for the installation guide 4 7 Release 0 8 3 We started the beta testing campaign with this release This is our first public release October 10 2015 jekejeke_inst_dev_2015_07_03_e docx Page 22 of 36 Jan Burse Installation Development XLOG Technologies GmbH 5 Environment Installation The environment comes
25. olours now used Selection colours can now be configured as well New menu item Kill to forcefully stop a Prolog thread New menu item Debug to toggle the debug mode New edit panel item Debug to toggle the debug mode Language e New Prolog flag sys clause instrument introduced e New instructions unify_atomic and unify compound introduced October 10 2015 jekejeke_inst_dev_2015 07 _03_e docx Page 17 of 36 Jan Burse Installation Development XLOG Technologies GmbH 3 11 Release 0 9 The following features have been provided for the Jekejeke Prolog development environment of version 0 9 Console Text pane does not loose style anymore when selecting input start Text pane does not allow edit before input start Text pane positioning problem during search solved Can now change background color in terminal settings Can now change input and output color in terminal settings Ctrl H key blocked since it would delete character to the left before input start Ctrl Backward key blocked since it would delete word to the left before input start Can now toggle trace from tool bar Toggle trace has now accelerator key Ctrl Period Language New system predicate break O introduced New instructions last_goal and last_cont now shown in intermediate form Instruction unify_term inside body now shown in intermediate form New Prolog flag disp_input introduced New Prolog flag disp_output
26. ovided for the Jekejeke Prolog development environment of version 0 9 2 User e New debugger command b for bindings introduced e New text panel in settings dialog introduced Language New system predicates dump 0 and dump 1 introduced New system predicate compile_term 3 introduced New predicates sys_recordz_clause 1 and sys_recorda_clause 1 introduced New system predicate sys_erase_clause 1 introduced New system predicate clause_property 2 introduced New predicates set_clause_property 2 and reset_clause_property 2 introduced New system predicate clause_term 3 introduced New system predicate sys_instance_clause 2 introduced New system predicate frame_property 2 introduced New predicates set_frame_property 2 and reset_frame_property 2 introduced New call_meta and last_meta intermediate codes introduced New system predicates trace_goal 2 and goal_tracing 2 introduced New system predicates sys_prepare_body 2 and sys_unfold_body 1 introduced New Prolog flag sys_query_frame introduced New Prolog flag sys_skip_frame introduced New Prolog flag sys_cloak introduced New system predicate sys_ignore 1 introduced October 10 2015 jekejeke_inst_dev_2015 07 _03_e docx Page 16 of 36 Jan Burse Installation Development XLOG Technologies GmbH 3 10 Release 0 9 1 The following features have been provided for the Jekejeke Prolog development environment of version 0 9 1 Console Colour map with lighter and darker c
27. ses e Top Level The archive file can be used to execute a Prolog query answer loop e Embedding The archive file can be embedded into Swing applications e Automatic Discovery The archive file discovers class paths and capabilities e System Requirements The system requirements of the actual version Activation The archive file can be used to activate licenses The environment archive file itself does need a license and additional capabilities might need a license The activation can be done either with the original archive file or when the archive file has been unpacked and included in a new archive file The following methods are available for activation e Non Graphical License Manager The non graphical top level automatically queries the end user via prompt lines for the activation of licenses The subsequent top level section provides more information on how to start the non graphical top level e Graphical License Manager The graphical top level automatically queries the end user via dialog windows for the activation of licenses The subsequent top level sec tion provides more information on how to start the graphical top level e Custom License Manager Applications and libraries that embed the archive file can code their own license management interactions The subsequent embedding section provides more information on building applications and libraries October 10 2015 jekejeke_inst_dev_2015_07_03_e docx Page 24 of 36
28. t XLOG Technologies GmbH 3 7 Release 0 9 4 The following features have been provided for the Jekejeke Prolog development environment of version 0 9 4 Swing Interface e Menu item abort has now period accelerator e The comma accelerator now circles between debug trace and no debug e Find command now defaults to the selected text Language e New system predicate asserta 2 and assertz 2 introduced e New system predicate clause 3 and retract 2 introduced e New break debugger command to enter query answer loop introduced e New intermediate form instruction last_display introduced Programming Interface e CapabilityEnvironment moved to package jekdev platform headless e ToolkitEnvironment moved to package jekdev platform headless October 10 2015 jekejeke_inst_dev_2015 07 _03_e docx Page 14 of 36 Jan Burse Installation Development XLOG Technologies GmbH 3 8 Release 0 9 3 The following features have been provided for the Jekejeke Prolog development environment of version 0 9 3 Swing Interface e Now possible to start a thread in a new tab Language e Now possible to break into the debugger at any time Finding U Neumerkel Programming Interface e New class ToolkitEnvironment introduced e New class CapabilityDevelopment introduced October 10 2015 jekejeke_inst_dev_2015_07_03_e docx Page 15 of 36 Jan Burse Installation Development XLOG Technologies GmbH 3 9 Release 0 9 2 The following features have been pr
29. t files archive You can use a GUI tool or a commend line tool of your choice that is able to deal with zip files If all else fails you can use the jar utility that comes with a Java development kit installa tion The archive file can be extracted with the following jar utility command Make sure that you are inside destination directory lt dest gt jar xf supdev zip After unpacking the archive one can easily explore its contents with a HTML browser It is also possible to browse the documentation from within the development environment via the help menu item Just see to it that the destination directory lt dest gt matches the base URL of the development environment The support files archive contains the following kind of support files e Documentation The documentation for the development environment is provided as HTML split files or as full PDF documents e Example Sources The source files for the development environment example pro grams are provided as ZIP archive files e Interpreter Sources The partial source files for the development environment inter preter are provided as a ZIP archive files October 10 2015 jekejeke_inst_dev_2015_07_03_e docx Page 32 of 36 Jan Burse Installation Development XLOG Technologies GmbH 6 1 Documentation The documentation for the runtime library is provided as HTML split files or as full PDF doc uments The HTML split files can be view with a HTML browser To v
30. tions and libraries that embed the archive file can code their other license management interactions The subsequent embedding sec tion provides more information on building applications and libraries October 10 2015 jekejeke_inst_dev_2015_07_03_e docx Page 28 of 36 Jan Burse Installation Development XLOG Technologies GmbH Top Level The archive file can be used to execute a Prolog query answer loop The archive file can either directly or indirectly be deployed on a device For direct deployment change the application preferences on your device to allow download from arbitrary locations Open a browser on the device and then navigate to the download page of our sales system Some devices might work better when the sales system is browsed without frames Finally click on the corresponding download link This will initiate first a local download and then a local deployment of the archive file on the device For indirect deployment you might copy the archive file to the destination directory lt dest gt of your choice and then remotely deploy it to a device You will then need an Android develop ment kit so that you have a deployment tool The following step might then do the remote deployment e adb Install your Android package on a device The above works for an Android device connected via USB or for an Android emulator pre sent on the download platform There is no need to unpack the archive file Avoid re deploying once the arch
31. untime Library XLOG Technologies GmbH Switzerland http www jekejeke ch idatab doclet prod en docs 05_run package html Android 2 3 3 Platform Google Inc July 2011 http developer android com sdk android 2 3 3 html Java 2 Platform Standard Edition 5 0 Tiger Sun Microsystems 2004 http www oracle com technetwork java javase index jsp 135232 html Android 1 6 Platform Donut Google Inc September 2009 http developer android com sdk android 1 6 html Android 2 2 Platform Froyo Google Inc May 2010 http developer android com sdk android 2 2 html October 10 2015 jekejeke_inst_dev_2015_07_03_e docx Page 36 of 36
Download Pdf Manuals
Related Search