mumuki-prolog-runner 1.0.0

checksums.yaml

@@ -0,0 +1,7 @@
+---
+SHA1:
+  metadata.gz: 13d4e23a78247d40578287655fbd10a6ed83a2fd
+  data.tar.gz: 335636f3b50c7b702dc2e80538e13a10cb7b2a6b
+SHA512:
+  metadata.gz: 08ac692949314e4641f3cc96718577fb776233e1c6fb4ad5240f0640fa444b9a0f59223039e080b696b5dd033edf05871eeff90e3c07793a952003b1cf4c9f23
+  data.tar.gz: 5ed272405a23dff488b813261ae7af1209b9ac805ffb84a21382f06a94b84bb3f6c3409325d8ef2a9ab22e11bc5d5a0888b11b2bac6ae83235e94619b953a249

data/lib/expectations_hook.rb

@@ -0,0 +1,63 @@
+require 'json'
+require 'mumukit/inspection'
+
+class Mumukit::Inspection::PlainInspection
+  def to_term
+    "inspection('#{type}')"
+  end
+end
+
+class Mumukit::Inspection::TargetedInspection
+  def to_term
+    "inspection('#{type}',#{Integer(target)})" rescue "inspection('#{type}','#{target}')"
+  end
+end
+
+class Mumukit::Inspection::NegatedInspection
+  def to_term
+    "not(#{@inspection.to_term})"
+  end
+end
+
+class PrologExpectationsHook < Mumukit::Templates::FileHook
+  isolated true
+
+  def command_line(filename)
+    "swipl -f #{filename} --quiet -t main 2>&1"
+  end
+
+  def compile_file_content(request)
+    ExpectationsFile.new(request).render
+  end
+
+  def post_process_file(file, result, status)
+    JSON.parse(result)['expectationResults'] rescue []
+  end
+end
+
+class ExpectationsFile
+  def initialize(request)
+    @content = request.content
+    @expectation_terms = self.class.expectations_to_terms(request.expectations)
+  end
+
+  def self.expectations_to_terms(expectations)
+    '[' + expectations.map do |e|
+      "expectation('#{e['binding']}',#{inspection_to_term(e['inspection'])})"
+    end.join(',') + ']'
+  end
+
+  def self.inspection_to_term(s)
+    Mumukit::Inspection.parse(s).to_term
+  end
+
+  def render
+    ERB.new(File.read(template_path)).result(binding)
+  end
+
+  private
+
+  def template_path
+    File.expand_path '../main.pl.erb', __FILE__
+  end
+end

data/lib/feedback_hook.rb

@@ -0,0 +1,71 @@
+class PrologFeedbackHook < Mumukit::Hook
+  def run!(request, results)
+    content = request.content
+    test_results = results.test_results[0]
+
+    PrologExplainer.new.explain(content, test_results)
+  end
+
+  class PrologExplainer < Mumukit::Explainer
+    def explain_wrong_distinct_operator(content, _)
+      (/.{0,9}(\/=|<>|!=).{0,9}/.match content).try do |it|
+        {near: it[0]}
+      end
+    end
+
+    def explain_wrong_gte_operator(content, _)
+      (/.{0,9}(=>).{0,9}/.match content).try do |it|
+        {near: it[0]}
+      end
+    end
+
+    def explain_wrong_lte_operator(content, _)
+      (/.{0,9}(<=).{0,9}/.match content).try do |it|
+        {near: it[0]}
+      end
+    end
+
+
+    def explain_clauses_not_together(_, test_results)
+      (/Clauses of .*:(.*) are not together in the source-file/.match test_results).try do |it|
+        {target: it[1]}
+      end
+    end
+
+    def explain_singleton_variables(_, test_results)
+      (/Singleton variables: \[(.*)\]/.match test_results).try do |it|
+        {target: it[1]}
+      end
+    end
+
+    def explain_test_failed(_, test_results)
+      /test (.*): failed/ =~ test_results
+    end
+
+    def explain_not_sufficiently_instantiated(_, test_results)
+      (/received error: (.*): Arguments are not sufficiently instantiated/.match test_results).try do |it|
+        {target: it[1]}
+      end
+    end
+
+    def explain_operator_error(_, test_results)
+      /ERROR: (.*): Syntax error: Operator expected/ =~ test_results
+    end
+
+    def explain_missing_dot_error(_, test_results)
+      /ERROR: (.*): Syntax error: Operator priority clash/ =~ test_results
+    end
+
+
+    def explain_wrong_comma(_, test_results)
+      /ERROR: (.*): Full stop in clause-body\? Cannot redefine ,\/2/ =~ test_results
+    end
+
+    def explain_missing_predicate(_, test_results)
+      (/.*:(.*): Undefined procedure: .*:(.*)/.match test_results).try do |it|
+        {target: it[1],
+         missing: it[2]} unless it[1].include? 'unit body'
+      end
+    end
+  end
+end

data/lib/main.pl.erb

@@ -0,0 +1,107 @@
+run_expectations(Expectations, Results) :-
+  maplist(run_expectation, Expectations, Results).
+
+run_expectation(Expectation, result(Expectation, Result)) :- eval_expectation(Expectation,Result).
+
+eval_expectation(expectation(Binding, Inspection), true) :-
+  call_expectation(Binding, Inspection), !.
+eval_expectation(_, false).
+
+call_expectation(Binding, inspection('HasBinding')) :-
+  usesPredicate(pred(Binding, _), _).
+call_expectation(Binding, inspection('HasForall')) :-
+  hasForall(pred(Binding, _)).
+call_expectation(Binding, inspection('HasFindall')) :-
+  hasFindall(pred(Binding, _)).
+call_expectation(Binding, inspection('HasNot')) :-
+  hasNot(pred(Binding, _)).
+call_expectation(Binding, inspection('HasUsage', Other)) :-
+   usesPredicate(pred(Binding, _), pred(Other, _)).
+call_expectation(Binding, inspection('HasDirectRecursion')) :-
+   recursive(pred(Binding, _)).
+call_expectation(Binding, inspection('HasArity', Arity)) :-
+  usesPredicate(pred(Binding, Arity), _).
+call_expectation(Binding, not(Inspection)) :-
+   \+ call_expectation(Binding, Inspection).
+call_expectation(Binding, inspection('HasCut')) :-
+  hasCut(pred(Binding, _)).
+
+<%= @content %>
+
+predToHead(pred(PredicateName, Arity), Head) :-
+  between(0, 9, Arity),
+  functor(Head, PredicateName, Arity).
+
+clauseElements(Predicate, Elements):-
+	predToHead(Predicate, Head),
+	clause(Head, Clause),
+	clauseToList(Clause, Elements).
+
+clauseToList((A,B), [A | BToList]):- clauseToList(B, BToList).
+clauseToList(A, [A]):- functor(A,Name,_), Name \= (',').
+
+usesPredicate(Predicate, UsedPredicate):-
+	clauseElements(Predicate, Elements),
+	member(ClauseElement, Elements),
+	isOrContains(ClauseElement, UsedPredicate).
+
+isOrContains(ClauseElement, Predicate):- predToHead(Predicate, ClauseElement).
+isOrContains(ClauseElement, Predicate):-
+	ClauseElement =.. [_|Args],
+	member(Arg, Args),
+	not(var(Arg)),
+	isOrContains(Arg, Predicate).
+
+%%	This would require a parametrized expectation
+numberOfClauses(Predicate, Amount):-
+	predToHead(Predicate, Head),
+	findall(_,clause(Head,_), Clauses),
+	length(Clauses, Amount).
+
+recursive(Predicate):-
+	usesPredicate(Predicate, Predicate).
+
+hasForall(Predicate):-
+	usesPredicate(Predicate, pred(forall,2)).
+
+hasNot(Predicate):-
+	usesPredicate(Predicate, pred(not,1)).
+
+hasFindall(Predicate):-
+	usesPredicate(Predicate, pred(findall,3)).
+
+hasCut(Predicate):-
+	usesPredicate(Predicate, pred(!,0)).
+
+
+main(_) :-
+  Expectations = <%= @expectation_terms %>,
+  run_expectations(Expectations, Results),
+  write_json(Results).
+
+write_json(Results) :-
+  write('{"expectationResults":['),
+  write_results(Results),
+  write(']}').
+
+write_results([]).
+write_results([X1]) :-
+  write_result(X1).
+write_results([X1,X2|Xs]) :-
+  write_result(X1),
+  write(','),
+  write_results([X2|Xs]).
+
+write_result(result(expectation(Binding, Inspection), Result)) :-
+  swrite_inspection(Inspection, SInspection),
+  writef('{"expectation":{"binding":"%w", "inspection":"%w"},"result":%w}',
+    [Binding, SInspection, Result]).
+
+swrite_inspection(inspection(X), S) :-
+  swritef(S, "%w", [X]).
+swrite_inspection(inspection(X, Y), S) :-
+  swritef(S, "%w:%w", [X, Y]).
+swrite_inspection(not(Inspection), S2) :-
+  swrite_inspection(Inspection, S1),
+  swritef(S2, "Not:%w", [S1]).
+

data/lib/metadata_hook.rb

@@ -0,0 +1,16 @@
+class PrologMetadataHook < Mumukit::Hook
+  def metadata
+    {language: {
+        name: 'prolog',
+        icon: {type: 'devicon', name: 'prolog'},
+        version: 'swi-prolog 6.6.4',
+        extension: 'pl',
+        ace_mode: 'prolog',
+        prompt: '?'
+    },
+     test_framework: {
+         name: 'plunit',
+         test_extension: 'pl'
+     }}
+  end
+end

data/lib/prolog_runner.rb

@@ -0,0 +1,19 @@
+require 'i18n'
+
+I18n.load_path += Dir[File.join('.', 'locales', '*.yml')]
+
+require 'mumukit'
+
+Mumukit.runner_name = 'prolog'
+Mumukit.configure do |config|
+  config.docker_image = 'mumuki/mumuki-plunit-worker'
+  config.content_type = 'markdown'
+end
+
+require_relative 'test_hook'
+require_relative 'query_hook'
+require_relative 'expectations_hook'
+require_relative 'metadata_hook'
+require_relative 'feedback_hook'
+
+

data/lib/query_hook.rb

@@ -0,0 +1,79 @@
+class PrologQueryHook < Mumukit::Templates::FileHook
+  isolated true
+
+  def command_line(filename)
+    "swipl -f #{filename} --quiet -t main 2>&1"
+  end
+
+  def compile_file_content(req)
+    <<PROLOG
+#{req.extra}
+#{req.content}
+
+main(_):-
+  run_query('#{req.query.gsub('\\', '\\' * 3 )}').
+
+run_query(Query):-
+    catch(findall(Result, (atom_to_term(Query, Term, Result), Term), ResultSet),
+      error(TypeError,_),
+      (handleQueryError(TypeError, Query), halt(100)) ),
+    prettyWriteResultSet(ResultSet).
+
+handleQueryError(type_error(callable,_), Query):-
+  writef('ERROR: run_query/1: Expected Callable predicate but instead got %w\\n', [Query]).
+
+handleQueryError(syntax_error(TypeSyntaxError), Query):-
+  writef('ERROR: run_query/1: Syntax Error: %w in %w\\n', [TypeSyntaxError, Query]).
+
+handleQueryError(signal(_,Number), _):-
+  SignalStatus is 128 + Number,
+  halt(SignalStatus).
+
+handleQueryError(GeneralError, Query):-
+  writef('ERROR: run_query/1: %w in \\'%w\\'\\n', [GeneralError, Query]).
+
+prettyWriteResultSet([]):-
+  writeln('no.').
+
+prettyWriteResultSet([OneResult]):-
+  prettyWriteOneResult(OneResult),
+  writeln('.').
+
+prettyWriteResultSet([OneResult | ResultSet]):-
+  ResultSet \\= [],
+  prettyWriteOneResult(OneResult),
+  writeln(' ;'),
+  prettyWriteResultSet(ResultSet).
+
+prettyWriteOneResult([]):-
+       write('yes').
+
+prettyWriteOneResult([OneBinding]):-
+       writeBinding(OneBinding).
+
+prettyWriteOneResult([OneBinding | OneResult]):-
+       OneResult \\= [],
+       writeBinding(OneBinding),
+       writeln(','),
+       prettyWriteOneResult(OneResult).
+
+writeBinding(OneBinding):-
+       OneBinding=..[(=), VarName, Value],
+       writef('%w = %w', [VarName, Value]).
+
+writeBinding(NotABinding):-
+       not(NotABinding=..[(=) | _ ]),
+       writef('ERROR: writeBinding/1: Expected Binding, but no equals was found in: %w\\n', [NotABinding]),
+       halt(101).
+
+PROLOG
+  end
+
+end
+
+
+
+
+
+
+

data/lib/test_hook.rb

@@ -0,0 +1,31 @@
+class PrologTestHook < Mumukit::Templates::FileHook
+  isolated true
+
+  def post_process_file(file, result, status)
+    if /ERROR: #{file.path}:.*: Syntax error: .*/ =~ result
+      [format_code(result), :failed]
+    elsif /Caught signal 24 \(xcpu\)/ =~ result
+      [format_code(I18n.t(:time_exceeded)), :failed]
+    else
+      [format_code(result), status]
+    end
+  end
+
+  def command_line(filename)
+    "swipl -f #{filename} --quiet -t run_tests 2>&1"
+  end
+
+  def format_code(code)
+    "```\n#{code}\n```"
+  end
+
+  def compile_file_content(request)
+    <<EOF
+:- begin_tests(mumuki_submission_test, []).
+#{request.test}
+#{request.content}
+#{request.extra}
+:- end_tests(mumuki_submission_test).
+EOF
+  end
+end

metadata

@@ -0,0 +1,135 @@
+--- !ruby/object:Gem::Specification
+name: mumuki-prolog-runner
+version: !ruby/object:Gem::Version
+  version: 1.0.0
+platform: ruby
+authors:
+- Franco Leonardo Bulgarelli
+autorequire: 
+bindir: bin
+cert_chain: []
+date: 2016-09-27 00:00:00.000000000 Z
+dependencies:
+- !ruby/object:Gem::Dependency
+  name: mumukit
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '2.5'
+  type: :runtime
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '2.5'
+- !ruby/object:Gem::Dependency
+  name: bundler
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '1.7'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '1.7'
+- !ruby/object:Gem::Dependency
+  name: rake
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '10.0'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '10.0'
+- !ruby/object:Gem::Dependency
+  name: rspec
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '3.4'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '3.4'
+- !ruby/object:Gem::Dependency
+  name: codeclimate-test-reporter
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '0'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '0'
+- !ruby/object:Gem::Dependency
+  name: mumukit-bridge
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '1.3'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '1.3'
+description: 
+email:
+- franco@mumuki.org
+executables: []
+extensions: []
+extra_rdoc_files: []
+files:
+- lib/expectations_hook.rb
+- lib/feedback_hook.rb
+- lib/main.pl.erb
+- lib/metadata_hook.rb
+- lib/prolog_runner.rb
+- lib/query_hook.rb
+- lib/test_hook.rb
+homepage: http://github.com/mumuki/mumuki-prolog-server
+licenses:
+- MIT
+metadata: {}
+post_install_message: 
+rdoc_options: []
+require_paths:
+- lib
+required_ruby_version: !ruby/object:Gem::Requirement
+  requirements:
+  - - ">="
+    - !ruby/object:Gem::Version
+      version: '0'
+required_rubygems_version: !ruby/object:Gem::Requirement
+  requirements:
+  - - ">="
+    - !ruby/object:Gem::Version
+      version: '0'
+requirements: []
+rubyforge_project: 
+rubygems_version: 2.4.8
+signing_key: 
+specification_version: 4
+summary: Prolog Runner for Mumuki
+test_files: []