Philipp Koerner at 10:16, 26 January 2018

2018-01-26T10:16:16Z

← Older revision		Revision as of 10:16, 26 January 2018
Line 1:		Line 1:
			[[Distributed Model Checking]]


	jasper ProB		jasper ProB

Philipp Koerner: added query-handling

2011-11-28T14:46:41Z

added query-handling

← Older revision		Revision as of 14:46, 28 November 2011
Line 4:		Line 4:
	TODO:		TODO:
	test 64 bit architecture (64 bit build .so files)		test 64 bit architecture (64 bit build .so files)
	test required libraries		//test required libraries

	--------------		--------------
Line 11:		Line 11:
	1. Minimalistic Jasper Implementation		1. Minimalistic Jasper Implementation

	required files		required files (cant run ProB, see below for more information)
	--------------		--------------
	tree ./lib/		tree ./lib/
Line 96:		Line 96:

	2. Running ProB.sav via Jasper		2. Running ProB.sav via Jasper
	WARNING! Unstable yet. Requires testing.		// WARNING! Unstable yet. Requires testing.
			// Warning was caused by extra libraries. May be solved now? (META INF of probcli.sav)


	Trying to run the ProB file by calling SICStus.restore() fails ~~due to a library that isn~~'t in the minimalistic configuration.		Trying to run the ProB file by calling SICStus.restore() fails because some libraries aren't in the minimalistic Jasper configuration.

	[philipp@netbook prolog]$ java ProBTest		[philipp@netbook prolog]$ java ProBTest
Line 108:		Line 109:


	It requires some glibc2.7 libraries located in /path/to/spnative/sicstus<version>/library/x86-linux-glibc2.7/		It requires some glibc2.7 libraries located in /path/to/spnative/sicstus<version>/library/x86-linux-glibc2.7/ (probably other libraries for a 64 bit system (other path, too?))

	--------------		--------------
Line 114:		Line 115:
	*# META_INFO 1		*# META_INFO 1

	*# FILE: "~~/home/philipp/Documents/prolog/~~probcli.sav"		*# FILE: "probcli.sav"

	*# FR: "fastrw"		*# FR: "fastrw"
Line 164:		Line 165:
	--------------		--------------

	To ensure ~~everythings~~ working smoothly, one should copy every single library.		To ensure everything is working smoothly, one should copy every single library.


	Running ProB via Jasper requires the environmental variable $PROB_HOME. This should be set to the path where the probcli.sav file is located (may require to run make first to generate it).		Running ProB via Jasper requires the environmental variable $PROB_HOME. This should be set to the path where the probcli.sav file is located (may require to run 'make' first to generate it).

	Next thing to do is to write a basic Java code. Imports should look like this:		Next thing to do is to write a basic Java code. Imports should look like this:
Line 182:		Line 183:
	sp.restore("file.sav");		sp.restore("file.sav");
	query = sp.openPrologQuery("predicate(...).", map);		query = sp.openPrologQuery("predicate(...).", map);
	-> query.nextSolution() <=> solution in map		query.nextSolution() <=> solution in map
	catch Exception e.		catch Exception e.

	The second argument of creating a new SICStus object is a String and it is (was?) used to set up the bootpath to sprt.sav. Since our sprt.sav is in the correct place anyway, we don't need one.		The second argument of creating a new SICStus object is a String and it is (was?) used to set up the bootpath to sprt.sav. Since our sprt.sav is in the correct place anyway, we don't need one.

	A query that should be made is:		A query that should be made like this:
	set_search_pathes(A,B).		set_search_pathes(A,B).
			This may be done via sp.query("set_search_pathes(A,B)"); or query = sp.openPrologQuery("set_search_pathes(A,B)"); query.nextSolution();

			Note that openPrologQuery does NOT execute the query until a solution is called.

Philipp Koerner: adding information of probcli.sav

2011-11-28T13:03:31Z

adding information of probcli.sav

← Older revision		Revision as of 13:03, 28 November 2011
Line 110:		Line 110:
	It requires some glibc2.7 libraries located in /path/to/spnative/sicstus<version>/library/x86-linux-glibc2.7/		It requires some glibc2.7 libraries located in /path/to/spnative/sicstus<version>/library/x86-linux-glibc2.7/

			--------------

			*# META_INFO 1

			*# FILE: "/home/philipp/Documents/prolog/probcli.sav"

			*# FR: "fastrw"

			*# FR: "random"

			*# FR: "clpfd"

			*# FR: "timeout"

			*# FR: "codesio"

			*# META_INFO END

Philipp Koerner: Jasper ProB Documentation

2011-11-28T12:53:22Z

Jasper ProB Documentation

Show changes

Jens Bendisposto: Creating user page with biography of new user.

2011-11-23T14:31:11Z

Creating user page with biography of new user.

New page

User:Philipp Koerner - Revision history

Philipp Koerner at 10:16, 26 January 2018

Philipp Koerner: added query-handling

Philipp Koerner: adding information of probcli.sav

Philipp Koerner: Jasper ProB Documentation

Jens Bendisposto: Creating user page with biography of new user.