def test_issue_4(self):
"""
Patch for a dynamic method
Ensures that the patch is working.
https://code.google.com/p/pyswip/issues/detail?id=4
"""
from pyswip import Prolog
Prolog.dynamic('test_issue_4_d/1')
Prolog.assertz('test_issue_4_d(test1)')
Prolog.assertz('test_issue_4_d(test1)')
Prolog.assertz('test_issue_4_d(test1)')
Prolog.assertz('test_issue_4_d(test2)')
results = list(Prolog.query('test_issue_4_d(X)'))
self.assertEqual(len(results), 4)
Prolog.retract('test_issue_4_d(test1)')
results = list(Prolog.query('test_issue_4_d(X)'))
self.assertEqual(len(results), 3)
Prolog.retractall('test_issue_4_d(test1)')
results = list(Prolog.query('test_issue_4_d(X)'))
self.assertEqual(len(results), 1)
def test_issue_4(self):
"""
Patch for a dynamic method
Ensures that the patch is working.
https://code.google.com/p/pyswip/issues/detail?id=4
"""
from pyswip import Prolog
Prolog.dynamic('test_issue_4_d/1')
Prolog.assertz('test_issue_4_d(test1)')
Prolog.assertz('test_issue_4_d(test1)')
Prolog.assertz('test_issue_4_d(test1)')
Prolog.assertz('test_issue_4_d(test2)')
results = list(Prolog.query('test_issue_4_d(X)'))
self.assertEqual(len(results), 4)
Prolog.retract('test_issue_4_d(test1)')
results = list(Prolog.query('test_issue_4_d(X)'))
self.assertEqual(len(results), 3)
Prolog.retractall('test_issue_4_d(test1)')
results = list(Prolog.query('test_issue_4_d(X)'))
self.assertEqual(len(results), 1)
def valid_constraints(root: IView[NT], visibilities: List[Tuple[IAnchor[NT], IAnchor[NT]]], debug: bool = True) \
-> Generator[IConstraint, None, None]:
"""
Computes the valid constraint pairs (or singletons) for various
types of constraint.
"""
outfile = "debug.pl"
# Note: Prolog is a singleton!
prolog = Prolog()
try:
with open(outfile, 'w') as dbfile:
# Load static terms/predicates.
with resources.path(__package__, 'logic.pl') as path:
prolog.consult(str(path))
# Add dynamic terms/predicates.
prolog.dynamic('view/1')
prolog.dynamic('parent/2')
prolog.dynamic('visible/2')
for view in root:
prolog.assertz(f"view('{view.name}')")
if debug:
dbfile.write(f"view('{view.name}').\n")
for child in view.children:
prolog.assertz(f"parent('{view.name}', '{child.name}')")
if debug:
dbfile.write(
f"parent('{view.name}', '{child.name}').\n")
for vis in visibilities:
[a1, a2] = vis
a1_term = f"anchor('{a1.view.name}', '{a1.attribute.value}')"
a2_term = f"anchor('{a2.view.name}', '{a2.attribute.value}')"
prolog.assertz(f"visible({a1_term}, {a2_term})")
if debug: dbfile.write(f"visible({a1_term}, {a2_term}).\n")
# todo: Post-process output? Necessary?
# ops = [operator.le, operator.ge, operator.eq]
ops = [operator.eq]
for answer in prolog.query("aspect_ratio_size(V)"):
v, = [answer[k] for k in ('V', )]
yield ConstraintFactory.create(
kind=ConstraintKind.SIZE_ASPECT_RATIO,
x_id=AnchorID(v, Attribute('height')),
y_id=AnchorID(v, Attribute('width')),
op=operator.eq)
for answer in prolog.query("absolute_size(V, A)"):
v, a = [answer[k] for k in ('V', 'A')]
for op in ops:
yield ConstraintFactory.create(
kind=ConstraintKind.SIZE_CONSTANT,
x_id=None,
y_id=AnchorID(v, Attribute(a)),
op=op)
for answer in prolog.query("parent_relative_size(V, A, W, B)"):
v, a, w, b = [answer[k] for k in ('V', 'A', 'W', 'B')]
yield ConstraintFactory.create(kind=ConstraintKind.SIZE_RATIO,
x_id=AnchorID(v, Attribute(a)),
y_id=AnchorID(w, Attribute(b)),
op=operator.eq)
for answer in prolog.query("spacing(V, A, W, B)"):
v, a, w, b = [answer[k] for k in ('V', 'A', 'W', 'B')]
for op in ops:
yield ConstraintFactory.create(
kind=ConstraintKind.POS_LTRB_OFFSET,
x_id=AnchorID(v, Attribute(a)),
y_id=AnchorID(w, Attribute(b)),
op=op)
for answer in prolog.query("alignment(V, A, W, B)"):
v, a, w, b = [answer[k] for k in ('V', 'A', 'W', 'B')]
for op in ops:
yield ConstraintFactory.create(
kind=ConstraintKind.POS_LTRB_OFFSET,
x_id=AnchorID(v, Attribute(a)),
y_id=AnchorID(w, Attribute(b)),
op=op)
finally:
# Cleanup dynamic predicates to avoid subsequent calls running in a
# polluted Prolog namespace.
prolog.retractall('view(_)')
prolog.retractall('parent(_,_)')
prolog.retractall('visible(_,_)')
pass
def question_finder(question, ans):
p = Prolog()
p.consult('/home/jordanhudgens/code/coderprofile/survey/knowledgebase.pl') # When placed on server, be sure to change this path!!!!
# Question 1: Type of Projects Desired to Learn
if question == "What type of projects do you want to learn how to build?":
p.dynamic('projectdesired/1') ## To account for going back
p.retractall('projectdesired(_)') ## To account for going back
if ans == "iPhone App":
p.assertz('projectdesired(iphoneapp)')
if ans == "Android App":
p.assertz('projectdesired(androidapp)')
if ans == "Web Application":
p.assertz('projectdesired(webapp)')
if ans == "Front End Website Development":
p.assertz('projectdesired(frontend)')
if ans == "just programming":
p.assertz('projectdesired(generalprogramming)')
# Question 2: Budget
if question == "What is your budget?":
p.dynamic('budget/1') ## To account for going back
p.retractall('budget(_)') ## To account for going back
if ans == "$0":
p.assertz('budget(0)')
if ans == "$50-$250":
p.assertz('budget(250)')
if ans == "$251-$500":
p.assertz('budget(500)')
if ans == "$501-$1000":
p.assertz('budget(1000)')
if ans == "$1001-$1500":
p.assertz('budget(1500)')
if ans == "$1501+":
p.assertz('budget(1000000)')
# Question 3: Level of Education
if question == "What is the highest level of education you've completed?":
p.dynamic('education/1') ## To account for going back
p.retractall('education(_)') ## To account for going back
if ans == "High School":
p.assertz('education(highschool)')
if ans == "Associates":
p.assertz('education(associates)')
if ans == "Bachelors":
p.assertz('education(bachelors)')
if ans == "Graduate":
p.assertz('education(graduate)')
# Question 4: Programming Experience
if question == "What programming experience do you have?":
p.dynamic('experience/1') ## To account for going back
p.retractall('experience(_)') ## To account for going back
if ans == "None":
p.assertz('experience(none)')
if ans == "Low":
p.assertz('experience(low)')
if ans == "Intermediate":
p.assertz('experience(intermediate)')
if ans == "Extensive":
p.assertz('experience(extensive)')
# Question 5: Learning Priority
if question == "What's more of a priority for you to learn?":
p.dynamic('priority/1') ## To account for going back
p.retractall('priority(_)') ## To account for going back
if ans == "Theory of coding":
p.assertz('priority(theory)')
if ans == "Real life projects":
p.assertz('priority(practical)')
# Question 6: Employment Status
if question == "Are you currently employed full time?":
p.dynamic('employment/1') ## To account for going back
p.retractall('employment(_)') ## To account for going back
if ans == "Yes":
p.assertz('employment(fulltime)')
if ans == "No":
p.assertz('employment(none)')
# Question 7: Weekly Time Dedication
if question == "How many hours can you dedicate to learning each week?":
p.dynamic('hoursfree/1') ## To account for going back
p.retractall('hoursfree(_)') ## To account for going back
if ans == "5":
p.assertz('hoursfree(5)')
if ans == "6-10":
p.assertz('hoursfree(10)')
if ans == "11-20":
p.assertz('hoursfree(20)')
if ans == "21-30":
p.assertz('hoursfree(30)')
if ans == "31-40":
p.assertz('hoursfree(40)')
if ans == "40+":
p.assertz('hoursfree(168)')
# Question 8: Feature Driven Developer
if question == "Do you like to see the potential features you're going to build before learning how to implement them?":
p.dynamic('featuredriven/1') ## To account for going back
p.retractall('featuredriven(_)') ## To account for going back
if ans == "Yes (I prefer to watch first)":
p.assertz('featuredriven(true)')
if ans == "No (I want to start coding right away)":
p.assertz('featuredriven(false)')
# Question 9: Mentor Driven Developer
if question == "Do you like working out problems with experts or do you prefer working out issues on your own?":
p.dynamic('mentor/1') ## To account for going back
p.retractall('mentor(_)') ## To account for going back
if ans == "I would prefer to work with an expert":
p.assertz('mentor(mentordriven)')
if ans == "I like working issues out on my own":
p.assertz('mentor(notmentordriven)')
# Question 10: Audience
if question == "What type of audience do you want to develop for? I want to build: ":
p.dynamic('targetaudience/1') ## To account for going back
p.retractall('targetaudience(_)') ## To account for going back
if ans == "Business applications":
p.assertz('targetaudience(business)')
if ans == "Games":
p.assertz('targetaudience(games)')
if ans == "Social apps":
p.assertz('targetaudience(socialapps)')
if ans == "eCommerce":
p.assertz('targetaudience(ecommerce)')
if ans == "No audience - just programming theory":
p.assertz('targetaudience(programmingtheory)')
# Question 11: Competitive
if question == "Does testing your coding skills against other developers appeal to you?":
p.dynamic('competitive/1') ## To account for going back
p.retractall('competitive(_)') ## To account for going back
if ans == "Yes":
p.assertz('competitive(iscompetitive)')
if ans == "No":
p.assertz('competitive(notcompetitive)')
# Question 12: High Speed Internet Status
if question == "Do you have access to high speed internet?":
p.dynamic('highspeedinternet/1') ## To account for going back
p.retractall('highspeedinternet(_)') ## To account for going back
if ans == "Yes":
p.assertz('highspeedinternet(highspeed)')
if ans == "No":
p.assertz('highspeedinternet(lowspeed)')
# Question 13: Code Motivation
if question == "Why do you want to learn to code?":
p.dynamic('motivation/1') ## To account for going back
p.retractall('motivation(_)') ## To account for going back
if ans == "Build my own project":
p.assertz('motivation(project)')
if ans == "Learn a new hobby":
p.assertz('motivation(hobby)')
if ans == "Improve for my current job":
p.assertz('motivation(job)')
# Question 14: Machine Type
if question == "What type of computer do you have to work on?":
p.dynamic('machine/1') ## To account for going back
p.retractall('machine(_)') ## To account for going back
if ans == "Mac":
p.assertz('machine(mac)')
if ans == "Windows":
p.assertz('machine(windows)')
if ans == "Linux":
p.assertz('machine(linux)')
# Question 15: Timeframe for Learning
if question == "What is your timeframe?":
p.dynamic('timeframe/1') ## To account for going back
p.retractall('timeframe(_)') ## To account for going back
if ans == "< 30 days":
p.assertz('timeframe(30)')
if ans == "31-90 days":
p.assertz('timeframe(90)')
if ans == "91+ days":
p.assertz('timeframe(365)')
