OpenLLM-France/wikimedia huggingface dataset:
# ΛProlog

λProlog, also written lambda Prolog, is a logic programming language featuring polymorphic typing, modular programming, and higher-order programming. These extensions to Prolog are derived from the higher-order hereditary Harrop formulas used to justify the foundations of λProlog. Higher-order quantification, simply typed λ-terms, and higher-order unification gives λProlog the basic supports needed to capture the λ-tree syntax approach to higher-order abstract syntax, an approach to representing syntax that maps object-level bindings to programming language bindings. Programmers in λProlog need not deal with bound variable names: instead various declarative devices are available to deal with binder scopes and their instantiations.

## History

Since 1986, λProlog has received numerous implementations. As of 2023, the language and its implementations are still actively being developed.
The Abella theorem prover has been designed to provide an interactive environment for proving theorems about the declarative core of λProlog.

## Programming in λProlog

Two unique features of λProlog include implications and universal quantification. Implication is used for local scoping of predicate definitions while universal quantification is used for local scoping of variables, as in the following implementation of reverse depending on an auxiliary rev predicate:
A common use of these scoping constructs is to simulate scope often seen in an inference-rule presentation of a logic. For example, proof search (and proof checking) in natural deduction may be encoded as follows:
# Daikokuchō Station

Daikokuchō Station (大国町駅, Daikokuchō-eki) is a railway station on the Osaka Metro in Shikitsu-higashi Sanchome, Naniwa-ku, Osaka, Japan.

## Lines

* Osaka Metro
** Midōsuji Line (Station Number: M21)
** Yotsubashi Line(Station Number: Y16)
While Midōsuji and Yotsubashi lines are connected at several stations, Daikokuchō is the only such station where passengers can transfer the trains from one line to the other on the same platform in case of trains of same direction (cross-platform interchange).

## Layout

This station has two island platforms on the second basement, serving four tracks.
| G | Street Level | Exit / Entrance |
| B1F | Mezzanine | Ticket barriers, ticket/ICOCA/PiTaPa machines, restrooms |
| B2F Platform level | Platform 1 | Midōsuji Line towards Nakamozu (Dobutsuen-mae) → |
| Island platform, doors will open on the right/left ||
| B2F Platform level | Platform 2 | Yotsubashi Line towards Suminoekōen (Hanazonocho) → |
| B2F Platform level | Platform 3 | ← Yotsubashi Line towards Nishi-Umeda (Namba) |
| Island platform, doors will open on the left/right ||
| B2F Platform level | Platform 4 | ← Midōsuji Line towards Esaka (Namba) (through service to Minoh-kayano on the Kitakyu Namboku Line) |
| 1 | ■ Midōsuji Line | for Tennōji and Nakamozu |
| 2 | ■ Yotsubashi Line | for Tamade and Suminoekōen |
| 3 | ■ Yotsubashi Line | for Yotsubashi, Higobashi and Nishi-Umeda |
| 4 | ■ Midōsuji Line | for Umeda, Shin-Osaka, Esaka and Minoh-kayano |
* Exit 3 (2008)
# Hanuman AR-15 Bullpup

The Hanuman AR-15 Bullpup which was made public in May 2014 is a prototype AR-15 rifle Bullpup created by WarFairy.
According to the creators "It requires a bufferless upper to function, such as the ARAK-21 or Rock River Arms PDS Carbine, or a regular upper with a CMMG Style .22LR Conversion installed." Portions of the finished rifle are designed to be printed using ABS plastic.

## Specification

The configuration at the top is with a SBR upper with a length of 20 inches with the configuration below consisting of a 16 inch upper with a length of 26.5 inches. The initial a prototype lacks a safety and adjustable outside of interchangeable butt pads, but the creators say "it should work without issue".
The lower receiver weighs 1.45 pounds when created using ABS plastic material, the creators estimate the "material cost will be between 20 and 40 dollars depending on the cost of your material".
WarFairy stated that the later versions will include a safety. Like the Charon, the Hanuman’s components were designed and meant to be printed individually, to allow those with small 3D printers to print the device.

## Name

The creators decided to name the lower receiver after the Hindu deity Hanuman. The CAD files needed to print the Hanuman were made available at defcad.com, a website created by Cody Wilson founder of Defense Distributed.

## Test fire

WarFairy claims that test receivers have fired over 600 rounds without breaking and still function, and that it showed no signs of stress.
# Shiraz Tal

Shiraz Tal (Hebrew: שירז טל; born October 13, 1974) is an Israeli fashion model.

## Biography

Tal began her modeling career at age 15 in Paris, after being discovered by the Image Models modeling agency of Israel. She is best known for her work as a model in Armani Exchange advertisements, and was also featured in the spring/summer 2000 Louis Vuitton campaign and advertisements for Louis Feraud from 1999 to 2001.
Tal appeared in "Elle TopModel" issue #19 on the cover and has walked the runway for Chanel, Valentino, Paco Rabanne, Yves Saint Laurent, Kenzo, Michael Kors, Giorgio Armani and Isaac Mizrahi.
She appeared on the October 1996 cover of ELLE Magazine in the United States.
In 2003, she was selected by Hanes as their pioneer top model in an effort to compete with the Calvin Klein brand. She has also modelled for Victoria's Secret, Versace, Dolce & Gabbana, Gucci, and other fashion outlets.
She is currently signed to Premier Model Management London, City Models Paris and Louisa Models Munich.
Tal acted in the 2003 movie Pgisha Iveret (Blind Date). In 2005, she competed in Rokdim Im Kokhavim, the Israeli version of Dancing with the Stars. She also served as a judge on the first season of Israel's Next Top Model, and was the host and judge of Project Runway Israel in 2009.

## Personal life

Tal was married briefly and in December 2006 gave birth to her son.
Tal is currently completing a master's degree in the history of Israel at Ben Gurion University.
# MacLean Hall (University of the Ozarks)

MacLean Hall is a historic academic building on the campus of the University of the Ozarks in Clarksville, Arkansas. It is a three-story H-shaped masonry structure, with a flat roof and limestone trim. Its Classical Revival features include the main entrance, set at the center of the H and sheltered by a portico supported by four Tuscan columns. It was built in 1926–27 to house the college's growing male student population, and was used as housing by the United States Navy in 1944–45, when the Navy leased the entire campus as a training and education facility.
The building was listed on the National Register of Historic Places in 2017.
# Fukkōdai-mae Station

Fukkōdai-mae Station Station (福工大前駅, Fukkōdaimae-eki) is a passenger railway station located in Higashi-ku, Fukuoka Prefecture, Japan.

## Lines

The station is served by the Kagoshima Main Line and is located 65.1 km from the starting point of the line at Mojikō.

## Layout

The station consists of two island platforms serving four tracks, connected by an elevated station building. The station has a Midori no Madoguchi staffed ticket office. There are two entrances, the north exit where the station building is located, and the Fukuko Oguchi exit, which are connected by a free passage; however, Fukuko Oguchi is a passageway for people affiliated with the Fukuoka Institute of Technology, and is prohibited to anyone other than those affiliated with it (as this passageway is located within the school grounds).

### Platforms

| 1 | ■ JA Kagoshima Main Line | for Orio and Kokura |
| 2 | ■ JA Kagoshima Main Line | for Kurume, Tosu and Hakata |
* Concourse
* Platforms
* Station sign
* Fukuko Oguchi exit

## History

Japanese Government Railways (JGR) opened Shingū Signal Box (新官(信号所), Shingū shingosho) on 1 June 1915. On 1 October 1920 it was upgraded to a passenger station and its name was changed to Chikuzen Shingũ Station (筑前新官駅) and its location was shifted 100 metres further to the south on the line. Previously, the station building and platform spanned Higashi Ward in Fukuoka and Shingu Town, but after reconstruction in 1987, both the station building and the platform are entirely within Higashi Ward. With the privatization of Japanese National Railways (JNR), the successor of JGR, on 1 April 1987, JR Kyushu took over control of the station. The station was renamed Fukkōdai-mae on 15 March 2008. The name means, literally, "in front of the Fukuoka Institute of Technology".

## Passenger statistics

In fiscal 2020, the station was used by an average of 8,273 passengers daily (boarding passengers only), and it ranked 12th among the busiest stations of JR Kyushu.

## Surrounding area

* Fukuoka Institute of Technology
* Fukuoka Institute of Technology Joto High School
* Shingu town center
# Hellraiser: Best of the Epic Years

Professional ratings :
| Review scores ||
| Source | Rating |
| AllMusic | |
Hellraiser: Best of the Epic Years is a compilation album by the band Motörhead, released in 2003.

## Recording

Hellraiser: Best of the Epic Years is spanning the band's two years at Epic Records. The compilation includes songs from the albums 1916 and March ör Die, as well as two non-album tracks that had been on the single "The One to Sing the Blues".

## Personnel

* Lemmy – bass, vocals
* Würzel – lead guitar
* Phil "Wizzö / Zoom" Campbell – rhythm guitar
* Phil "Philthy Animal" Taylor – drums on "The One to Sing the Blues", "Shut You Down", "I Ain't No Nice Guy", "Eagle Rock", "Angel City", "Make My Day", "Going to Brazil", "Dead Man's Hand" & "R.A.M.O.N.E.S."
* Tommy Aldridge – drums on "Asylum Choir", "Bad Religion", "You Better Run", "Cat Sratch Fever" & "March ör Die"

### with

* Mikkey Dee – drums on "Hellraiser"
* Slash – guitar solo on "I Ain't No Nice Guy" & additional guitar on "You Better Run"
* Ozzy Osbourne – additional vocals on "I Ain't No Nice Guy"

## Charts

| Chart (2010) | Peak position |
| Finnish Albums (Suomen virallinen lista) | 49 |
# Edward T. Chambers

Edward Thomas Chambers (April 2, 1930 – April 26, 2015) was the executive director of the Industrial Areas Foundation from 1972 to 2009, a community organizing group founded by Saul Alinsky. Chambers was born in Clarion, Iowa to Thomas Chambers and Hazella Downing. He is credited with developing systematic training of organizers and leaders of congregation-based community organizations, and establishing relational meetings (or "one-on-ones") as a critical practice of organizers. He is the author of Roots for Radicals: Organizing for Power, Action, and Justice (Continuum International Publishing Group, 2003, ISBN 0-8264-1499-0.). A memorial article in The New Yorker called him "community organizing’s unforgiving hero." He died of heart failure in Drimoleague, Ireland in 2015.
# Higobashi Station

Higobashi Station (肥後橋駅, Higobashi-eki, Y12) is a railway station on the Osaka Metro Yotsubashi Line in Nishi-ku, Osaka, Japan.

## Connecting line

* Keihan Railway Nakanoshima Line (Watanabebashi Station)

## Layout

There is an island platform with two tracks on the second basement.
| 1 | ■ Yotsubashi Line | for Namba, Daikokucho and Suminoekoen |
| 2 | ■ Yotsubashi Line | to Nishi-Umeda |

## Surroundings

* Daido Life
* Nakanoshima Festival Tower East
** Festival Plaza
** Festival Hall
** Asahi Shimbun
* Osaka Science Museum
* The National Museum of Art, Osaka
* Kansai Electric Power Co., Inc.

### Buses
#### Higobashi (Osaka City Bus)

* Routes 62, 75, 88A and 103 for Osaka-ekimae
* Route 88 for Osaka-ekimae / for Tempozan
# The Song of the Heart

"The Song of the Heart" is a song written and performed by Prince for the 2006 film Happy Feet.
The song came about when Prince was approached to allow his song "Kiss" to appear in the film. Prince was initially hesitant to sign off on its use, but agreed to watch the film before he made a final decision. Executives from Warner Bros. screened Happy Feet for Prince at his Paisley Park recording complex, and he enjoyed the film so much that he agreed to the use of "Kiss" and offered to write a new song for the film. Warner Bros. executive Darren Higman said that Prince completed "The Song of the Heart" approximately one week after he was screened the film. It is the only song on the soundtrack specifically written for the film.

## Music video

A music video was produced to promote the release.

## Awards

| Year | Nominee / work | Award | Result |
| 2007 | Golden Globe Award | Best Original Song | Won |
| 2008 | Grammy Award | Best Song Written for Visual Media | Nominated |
# Doris A. Davis

Doris A. Davis (born circa 1935) is a former mayor of Compton, California, who earned a place in history as the first African-American woman mayor of a metropolitan city in the United States.

## Political career

In 1965, 33-year-old Davis defeated incumbent Clyde Harland to become Compton's first black City Clerk; she won reelection in May 1972 with 83.8% of the vote. In 1973, she challenged and defeated incumbent Compton Mayor Douglas Dollarhide. By doing so, she became the first female African American Mayor of a major metropolitan city in the United States. However, after four years as mayor she did not seek re-election.
Davis was succeeded in 1977 by another African-American, Lionel Cade, an accountant and former member of the city council, who also served only one term.
In 1986, Davis unsuccessfully ran for a seat in the California State Assembly, 54th District. She finished third in the Democratic primary.
Until 2013, Davis was the only female mayor in Compton's history. On June 4, 2013, Aja Brown was elected as Compton's 2nd female mayor and the city's youngest mayor. In 2004, Alita Godwin became only the second black woman to serve as Compton City Clerk.
Political offices :
| Preceded byClyde Harland | City Clerk, Compton, California 1965–1973 | Succeeded byCharles Davis |
| Preceded byDouglas Dollarhide | Mayor of Compton, California 1973–1977 | Succeeded byLionel Cade |
# Houston Wells and the Marksmen

Houston Wells and the Marksmen were a British country band, that were most successful in the early 1960s. They had one UK hit single in August 1963 with "Only the Heartaches". They were also known for their association with experimental producer Joe Meek, and were one of the UK's first professional country bands.

## Houston Wells

Houston Wells (born Andrew Smith on 25 February 1932 in Northumberland, England) was a British country singer. In 1958 in Southend-on-Sea, Smith joined a band called the Coasters, and renamed themselves Andy Smith and the Coasters. There was already an American group with the same name, so they changed their name to the Marksmen. Their record company, Parlophone Records, decided that 'Smith' was too plain a name for a singer, and renamed him Houston Wells. After some minor chart success, the Marksmen felt that they were being exploited by Wells and his management, and tore up his return ticket home during a trip to Ireland and removed him from the group. He then recorded with another group 'The Outlaws,' but never had another UK chart hit. He later worked as a logger. Wells died on 28 December 2013 in Taupō, New Zealand.

## Career

Houston Wells and the Marksmen attained a UK Singles Chart hit in August 1963 with "Only the Heartaches" (No. 22, 10 weeks). The song is a cowboy version of the traditional ballad "The Unfortunate Rake", with lyrics by Wayne Walker. Record producer Joe Meek was interested in country music and took an interest in Houston Wells and the Marksmen. The band recorded 28 tracks with Meek, but they have never been published owing to legal problems with Meek's estate.
# Wágner

Wágneris a name. As a given name, it is Portuguese in origin. The surname (Czech feminine: Wágnerová) is a Czechized form of German surname Wagner. Notable people with the name include:

## Given name

* Wágner (footballer, born 1945), full name Wágner Canotilho, Brazilian footballer
* Wágner (footballer, born 1969), full name Sebastião Wágner de Souza e Silva, Brazilian footballer
* Wágner (footballer, born 1973), full name Wágner Pires de Almeida, Brazilian footballer
* Wágner (footballer, born 1985), full name Wágner Ferreira dos Santos, Brazilian footballer
* Wágner (footballer, born 1987), full name Wágner de Andrade Borges, Brazilian footballer
* Wágner (footballer, born 1989), full name Wágner Luiz Fogolari, Brazilian footballer

## Surname

* Martin Wágner (born 1980), Czech photographer
* Tomáš Wágner (born 1990), Czech footballer
# Ijiri Station

Ijiri Station (井尻駅, Ijiri-eki) is a passenger railway station located in Minami-ku, Fukuoka Fukuoka Prefecture, Japan. It is operated by the private transportation company Nishi-Nippon Railroad (NNR), and has station number T06.

## Lines

The station is served by the Nishitetsu Tenjin Ōmuta Line and is 6.1 kilometers from the starting point of the line at Nishitetsu Fukuoka (Tenjin) Station.

## Station layout

The station consists of two opposed side platforms connected by a footbridge.

## Platforms

| 1 | ■ Tenjin Ōmuta Line | for Futsukaichi, Kurume and Ōmuta |
| 2 | ■ Tenjin Ōmuta Line | for Fukuoka |

## History

The station was opened on 12 April 1924.

## Passenger statistics

In fiscal 2022, the station was used by 20,625 passengers daily.

## Surrounding area

* Sasabaru Station - Kyushu Railway Company (JR Kyushu) Kagoshima Main Line
# Fran Rish Stadium

Fran Rish Stadium is a football/track stadium in the northwest United States, located adjacent to the campus of Richland High School in Richland, Washington.
Long known as the "Bomber Bowl", it is the home field for the football teams of the city's two high schools, the Richland Bombers and the Hanford Falcons, although the Falcons have a separate track facility at their high school. Neither school uses the stadium for soccer matches (Bomber Field, Richland High's soccer field, is located near Carmichael Middle School, which is located across the street from Fran Rish stadium, on Thayer Drive, but the school's grounds carry down the back of the school all the way to Wellsian Way. Hanford's soccer team plays on their school grounds). But, on May 14, 2021 the girls “Richland Hanford” combined school Lacrosse team, established at the beginning of the 2020 pandemic, played the first non-football/track game at the stadium. Followed shortly by both Richland and Hanford boys Lacrosse.
In 1982, the stadium was named after longtime RHS football and baseball coach Fran Rish (1919–2006). The field is surrounded by a ten-lane running track and has a conventional north-south alignment, at an elevation of approximately 370 feet (110 m) above sea level.
The stadium was renovated in 1980, following a voter-approved bond issue; the main grandstand and press box was moved to the east sideline, and the west sideline became the visiting bleachers. The original announcer's booth became a spotter's nest, for both home and visiting teams. The stadium completed another renovation in 2015; the old bleachers and spotter's nest from 1954 on the west sideline were replaced. One aspect caused controversy – the demolition of the 'R' and 'H' letters that flanked the old bleachers in early 2014. The large concrete letters returned in August 2015.
The RHS baseball field, adjacent to the northeast, hosted minor league baseball for four summers (1983–86) as the home field of the Tri-Cities Triplets of the Class A-Short Season Northwest League. The team was sold, moved to Idaho, and became the Boise Hawks in 1987. The current NWL team for the area, the Tri-City Dust Devils, arrived in 2001 from Portland and play in Pasco at Gesa Stadium.
# Babe Herman (boxer)

Babe Herman (April 15, 1902 – 1966) was an American featherweight boxer.
Born as Herman J. Sousa in Sacramento, California, he stood 5' 4". His record was 91 (KO 23) wins + 45 (KO 9) losses + 19 draws.
On December 18, 1925, he challenged Louis "Kid" Kaplan for the featherweight title at Madison Square Garden, losing in a fifteen-round decision.
His managers were Jack Kearns, Dan McKetrick, and Fred Pearl. He boxed a total of 1269 rounds in a total 167 bouts.
# The Bikini Carwash Company

The Bikini Carwash Company is a 1992 sex comedy film directed by Ed Hansen. It stars Joe Dusic, Kristi Ducati, and Ricki Brando. The sequel, The Bikini Carwash Company II, was released in 1993.
Writer George Buck Flower had guest starred in an episode of a modern Three Stooges style show, Nutz, Yutz and Klutz set in a car wash, shot in 1990 and was inspired to make a car wash a locale for a prettier cast of characters.

## Plot

In the film, a group of young women decide to help out a local carwash by wearing bikinis while they wash customers' cars. This succeeds in attracting more customers, more money, and more attention from the police, who are not amused by the scantily-dressed employees.

## Cast

* Joe Dusic as Jack
* Kristi Ducati as Melissa
* Ricki Brando as Amy
* Sara Suzanne Brown as Sunny (credited as Suzanne Brown)
* Neriah Davis as Rita (credited as Neriah Napaul)
* Brook Lyn Page as Tammy Joe
* Eric Ryan as Stanley
* Scott Strohmyer as Big Bruce
* Patrick M. Wright as Uncle Elmer (credited as Michael Wright)
* Kimberly Bee as Bobby Canova
* Jim Wynorski as Ralph
* Darrel Matson as Snuff (credited as Duane Matson)
* Matthew Cory Dunn as Donavan
* Jack Klarr as Judge Hawthorne
* Landon Hall as Miss Hawthorne
# Madison High School (Middletown, Ohio)

Madison Junior-Senior High School is a public high school near Middletown, Ohio. It is the only high school in the Madison Local Schools district. The school colors are red, black and white.
Madison's sports teams, known as the Mohawks, participated in the Fort Ancient Valley Conference from 1979 until 1984, when the school left for the Southwestern Buckeye League's Buckeye Division, which consists of smaller schools.

## Shooting

On February 29, 2016, four students were injured during a shooting in the school's cafeteria when James "Austin" Hancock discharged seven rounds from a firearm. The shooter fled the scene, but was later arrested and charged as an adult with four counts of attempted murder and one count of inducing panic. On June 6, the shooter was sentenced to six years in juvenile detention. The victims' families later filed a lawsuit against him, his family, and the state, alleging that the shooter's parents entrusted him with the gun used in the shooting, and that the weapon was registered to another relative who failed to properly secure it.