SDA SE Wiki

Software Engineering for Smart Data Analytics & Smart Data Analytics for Software Engineering

User Tools

Site Tools


Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
research:pdt:contribute:integrate [2014/05/13 10:01]
fabian.noth
research:pdt:contribute:integrate [2018/05/09 01:59] (current)
Line 1: Line 1:
 +====== PDT for System Integrators ======
  
 +It is our long term aim to support many more Prolog systems. ​
 +
 +From our collaboration with Vitor Santos Costa on integrating YAP we have learned quite a lot about 
 +the related difficulties. ​
 +So we have [[restructuring| restructured the PDT]] to make integration ​
 +of Prolog systems easier.  ​
 +
 +==== Prolog Connector ====
 +
 +The minimum requirements for a Prolog system that can run with the PDT is to support the basic interaction of the PDT with a Prolog process ​
 +(see [[..:​connector:​library|prolog.connector]]) via
 +  - [[http://​www.swi-prolog.org/​pldoc/​man?​section=sockets|sockets]] <- for the communication between Eclipse / Java and Prolog processes.
 +  - [[http://​www.swi-prolog.org/​pldoc/​man?​section=threads|threads]] <-  for letting many things happen in parallel (user requests from the Prolog console and from different parts of the PDT GUI). 
 +
 +==== Development Environment ====
 +
 +For supporting the development environment functionalities, ​
 +adopt or adapt the implementation of the SWI-Prolog predicates ​
 +listed in our [[dependencies|dependency matrix]]. ​
 +
 +/*
 +^ Predicate ​ ^ Outline((pdt_search:​find_definition_contained_in/​9)) ​ ^ Search for \\ Primary Declaration((pdt_search:​find_primary_definition_visible_in/​6)) ​ ^ Search for \\ predicate definitions((pdt_search:​find_definitions_categorized/​13)) ​ ^ Search for \\ module definitions((pdt_search:​find_module_definition/​5)) ​ ^ Search for \\ predicate references((pdt_xref:​find_reference_to/​13)) ​ ^ Search for \\ module references((pdt_search:​find_module_reference/​8)) ​ ^ Completion Editor((pdt_search:​find_pred_for_editor_completion/​9)) ​ ^ Completion Console((pdt_search:​find_pred/​8)) ​ ^
 +| $dcg:​phrase/​2 ​ |    |    |    |    |    |    |  x  |  x  |
 +| $syspreds:​clause_property/​2 ​ |  x  |    |    |    |  x  |  x  |    |    |
 +| $syspreds:​current_module/​1 ​ |    |    |    |  x  |    |  x  |  x  |  x  |
 +| $syspreds:​module_property/​2 ​ |  x  |  x  |  x  |  x  |  x  |  x  |  x  |  x  |
 +| $syspreds:​source_file_property/​2 ​ |    |    |    |    |    |  x  |    |    |
 +| backward_compatibility:​sformat/​3 ​ |    |    |    |    |    |    |  x  |  x  |
 +| charsio:​open_chars_stream/​2 ​ |    |  x  |    |    |    |    |    |    |
 +| html_write:​print_html/​1 ​ |    |    |    |    |    |    |  x  |  x  |
 +| lists:​append/​3 ​ |  x  |    |    |    |    |    |    |    |
 +| lists:​member/​2 ​ |  x  |  x  |  x  |    |  x  |  x  |  x  |  x  |
 +| pldoc_html:​doc_file_objects/​5 ​ |    |    |    |    |    |    |  x  |  x  |
 +| prolog_codewalk:​prolog_walk_code/​1 ​ |    |    |    |    |  x  |  x  |    |    |
 +| system: $atom_completions/​2 ​ |    |    |    |    |    |    |  x  |    |
 +| system:​absolute_file_name/​3 ​ |    |  x  |    |    |    |    |    |    |
 +| system:​access_file/​2 ​ |    |  x  |    |    |    |    |    |    |
 +| system:​atom_to_term/​3 ​ |    |  x  |    |    |    |    |    |    |
 +| system:​file_base_name/​2 ​ |  x  |  x  |  x  |    |    |    |  x  |  x  |
 +| system:​file_directory_name/​2 ​ |  x  |  x  |  x  |    |    |    |  x  |  x  |
 +| system:​file_name_extension/​3 ​ |  x  |  x  |  x  |    |    |    |  x  |  x  |
 +| system:​format/​3 ​ |    |    |    |    |  x  |  x  |    |    |
 +| system:​garbage_collect_atoms/​0 ​ |    |    |    |    |    |    |  x  |    |
 +| system:​nth_clause/​3 ​ |  x  |    |    |    |  x  |  x  |    |    |
 +| system:​source_file/​2 ​ |  x  |    |    |    |    |    |    |    |
 +| system:​with_output_to/​2 ​ |    |    |    |    |    |    |  x  |  x  |
 +*/
research/pdt/contribute/integrate.txt · Last modified: 2018/05/09 01:59 (external edit)

SEWiki, © 2019