to load the same prolog file into different modules in jpl -

-

i trying use jpl load same swipl file different modules. reason had because want have module can assert new predicates to, while leave other untouched. problem swipl seems forbidding this,

jpl.prologexception: prologexception: error(permission_error(load, source, 'load.pro'), context(/(load_files, 2), 'non-module file loaded module stable; trying load to_mess'))     @ jpl.query.get1(query.java:336)     @ jpl.query.hasmoresolutions(query.java:258)     @ jpl.query.onesolution(query.java:688)     @ jpl.query.hassolution(query.java:759)

i have tried set redefine_module(true) load_files, still no go

val query = new query(s"load_files(${m}:'${loader}', [redefine_module(true)])") query.allsolutions()

i have been blocked hours, cannot find solution online. can please help??

you can use logtalk running on swi-prolog + jpl accomplish having 2 encapsulation units (objects instead of modules in case) sharing common initial definition (the contents of file you're trying load in 2 or more different modules). details of using logtalk + swi-prolog + jpl see example:

https://github.com/logtalkdotorg/logtalk3/wiki/using-logtalk-with-jpl

for code sharing implied in question, 1 solution put contents of file in object , derive (using inheritance) many object needed. more specific advice need more details on you're trying accomplish.


Comments

Post a Comment

Popular posts from this blog

ios - RestKit 0.20 — CoreData: error: Failed to call designated initializer on NSManagedObject class (again) -

-
this error has shown on many times, seems. prominent answer issue seems restkit 0.20 — coredata: error: failed call designated initializer on nsmanagedobject class however, solution posted doesn't work me. let's start beginning: i want upload file server. want parse response make sure uploaded. if not, try again later. model has boolean variable called nsnumber *senttoserver purpose (in coredata, bool saved nsnumber ) . because don't know whether sending going successful, save entity coredata model first before sending via restkit. when post request successful, server returns json string this: {"id":14,"created":true} notice that, of course, id not set on coredata model yet, both id , created new informations model. here's model: @interface recording : nsmanagedobject @property (nonatomic, retain) nsstring * audiofilepath; @property (nonatomic, retain) nsdate * createdat; @property (nonatomic, retain) nsstring * deviceid; @
Read more

laravel - PDOException in Connector.php line 55: SQLSTATE[HY000] [1045] Access denied for user 'root'@'localhost' (using password: YES) -

-
my .env: app_env=local app_debug=true app_key=myappkey app_url=http://localhost db_connection=mysql db_host=localhost db_port=3306 db_database=gestiontaller db_username=root db_password='root' cache_driver=file session_driver=file queue_driver=sync redis_host=127.0.0.1 redis_password=null redis_port=6379 mail_driver=smtp mail_host=mailtrap.io mail_port=2525 mail_username=null mail_password=null mail_encryption=null i've tried password ", ' , without, restarting server every time. i've tried changing localhost 172.0.0.1. yes, password correct, running mysql -u root -p introducing password root in prompt can go mysql. users table: +------------------+-----------+ | user | host | +------------------+-----------+ | debian-sys-maint | localhost | | mysql.sys | localhost | | root | localhost | | root1 | localhost | +------------------+-----------+ i've added homestead.yaml this: database_port: 3306
Read more

java - Digest auth with Spring Security using javaconfig -

-
so i'm trying create digest authentication spring following documentation trying translate xml "requirements" in java requirements. let's have xml in docs: <bean id="digestfilter" class= "org.springframework.security.web.authentication.www.digestauthenticationfilter"> <property name="userdetailsservice" ref="jdbcdaoimpl"/> <property name="authenticationentrypoint" ref="digestentrypoint"/> <property name="usercache" ref="usercache"/> </bean> <bean id="digestentrypoint" class= "org.springframework.security.web.authentication.www.digestauthenticationentrypoint"> <property name="realmname" value="contacts realm via digest authentication"/> <property name="key" value="acegi"/> <property name="noncevalidityseconds" value="10"/> </b
Read more